RemuLang

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 MIT 1 4 (1 issue needs help) 0 Updated Feb 3, 2020
remu-operator Public
Customized precedences and associativities for binary operators of a modular programming language

Python 4 MIT 0 0 0 Updated Jan 23, 2020
sijuiacion-lang Public
An IR for Python VM, provided with indirect jump instructions.

Python 18 MIT 1 0 0 Updated Jan 23, 2020
hmf Public
implementation of HMF type system, for higher rank types

Python 1 MIT 0 0 0 Updated Jan 20, 2020
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 16 MIT 1 4 0 Updated Jan 18, 2020
hybrid-type-system Public
Row + Implicit arguments + MLF.

Python 1 MIT 0 0 0 Updated Jan 17, 2020
remu-type-system Public
type-system, revised unification algorithm and runtime time representations

OCaml 13 Apache-2.0 0 0 0 Updated Dec 12, 2019
remu-scope Public
A framework to do name analysis for programming languages.

OCaml 4 MIT 1 0 0 Updated Dec 11, 2019
remu-incremental-compilation Public
Using the intermediate files to achieve modularization

Python 1 MIT 0 0 0 Updated Nov 8, 2019

Popular repositories