PLTools/Lama PLTools/Lama

  • Stars
    star
    67
  • Rank 461,270 (Top 10 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 4 years ago
  • Updated 23 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
PLTools/Lama
github

PLTools

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Teaching language LaMa for a compiler course

More Repositories

1

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml
OCaml
117
star
2

GT

Datatype-generic object-oriented transformations for OCaml
OCaml
16
star
3

Lama-devel

OCaml
8
star
4

noCanren

Translator from subset of OCaml to OCanren
OCaml
2
star