PLTools/Lama-devel PLTools/Lama-devel

  • Stars
    star
    8
  • Rank 2,094,061 (Top 42 %)
  • Language
    OCaml
  • Created over 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
PLTools/Lama-devel
github

PLTools

Reviews

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

Repository Details

More Repositories

1

OCanren

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

Lama

Teaching language LaMa for a compiler course
OCaml
67
star
3

GT

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

noCanren

Translator from subset of OCaml to OCanren
OCaml
2
star