Programming Languages & Tools Group Space (@PLTools)
Guthub

PLTools

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    199
  • Global Org. Rank 40,503 (Top 13 %)
  • Followers 1
  • Registered about 11 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location 🇷🇺 Russia
  • Country Total Rank 1,107
  • Country Ranking
    OCaml
         2

Top 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

Lama-devel

OCaml
8
star
5

noCanren

Translator from subset of OCaml to OCanren
OCaml
2
star