Programming Languages & Tools Group Space

Russian Federation

Pinned Repositories

generic-transformers
Language:OCaml0 2 00
GT
Datatype-generic object-oriented transformations for OCaml
Language:OCaml16 4 710
JGS
Java Generics Constraint Solver
Language:Perl02
Lama
Teaching language LaMa for a compiler course
Language:Raku70 12 1939
Lama-devel
Language:OCaml8 5 130
noCanren
Translator from subset of OCaml to OCanren
Language:OCaml2 1 82
OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
Language:OCaml118 11 419
ostap
Ostap is a parser combinator library for OCaml
Language:TeX00
papers
Language:TeX0 2 00
sirius2024
Language:OCaml0 1 00

Programming Languages & Tools Group Space's Repositories

PLTools/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
Language:OCaml118 11 419
PLTools/Lama
Teaching language LaMa for a compiler course
Language:Raku70 12 1939
PLTools/GT
Datatype-generic object-oriented transformations for OCaml
Language:OCaml16 4 710
PLTools/Lama-devel
Language:OCaml8 5 130
PLTools/noCanren
Translator from subset of OCaml to OCanren
Language:OCaml2 1 82
PLTools/generic-transformers
Language:OCaml0 2 00
PLTools/JGS
Java Generics Constraint Solver
Language:Perl02
PLTools/ostap
Ostap is a parser combinator library for OCaml
Language:TeX00
PLTools/papers
Language:TeX0 2 00
PLTools/sirius2024
Language:OCaml0 1 00