Popular repositories Loading

1. sijuiacion-lang sijuiacion-lang Public

   An IR for Python VM, provided with indirect jump instructions.

   Python 19 1

2. remu-type-system remu-type-system Public

   type-system, revised unification algorithm and runtime time representations

   OCaml 14

3. proud proud Public

   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

   Python 14

4. urgent-lang urgent-lang Public

   The urgent programming language. might not be academic enough or excellent, merely as a better tool for better reasoning things.

   Python 7 2

5. remu-operator remu-operator Public

   Customized precedences and associativities for binary operators of a modular programming language

   Python 4

6. remu-scope remu-scope Public

   A framework to do name analysis for programming languages.

   OCaml 3