PLTools

PLTools

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
224 Stars
82 Forks
22 Watchers

🏆 Show off this rank

PLTools on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (3)

OCanren PLTools/OCanren OCaml

Statically typed embedding of miniKanren relational programming language into OCaml

125
Lama PLTools/Lama Raku

Teaching language LaMa for a compiler course

82
GT PLTools/GT OCaml

Datatype-generic object-oriented transformations for OCaml

17