Programming Languages & Tools Group Space

icon indicating an email [email protected]

icon location Russian Federation

Results 2 repositories owned by Programming Languages & Tools Group Space

Lama

67
Stars
27
Forks
Watchers

Teaching language LaMa for a compiler course

verified publisher icon PLTools

OCanren

114
Stars
18
Forks
Watchers

Statically typed embedding of miniKanren relational programming language into OCaml

verified publisher icon PLTools