3
Repos
44
Stars
2
Forks
44
Watchers
Repositories (3)
sijuiacion-lang
RemuLang/sijuiacion-lang
Python
An IR for Python VM, provided with indirect jump instructions.
17
1
proud
RemuLang/proud
Python
The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
16
1
remu-type-system
RemuLang/remu-type-system
OCaml
type-system, revised unification algorithm and runtime time representations
11
0