RemuLang

All

9 repositories

urgent-lang
Public
The urgent programming language. might not be academic enough or excellent, merely as a better tool for better reasoning things.
urgent daily-life
Python
•
MIT License
•1•7•4•0•Updated Feb 3, 2020Feb 3, 2020
remu-operator
Public
Customized precedences and associativities for binary operators of a modular programming language
operator-precedence operator-associativity
Python
•
MIT License
•0•4•0•0•Updated Jan 23, 2020Jan 23, 2020
sijuiacion-lang
Public
An IR for Python VM, provided with indirect jump instructions.
compiler code-generation intermediate-representation python-bytecode python
Python
•
MIT License
•1•19•0•0•Updated Jan 23, 2020Jan 23, 2020
hmf
Public
implementation of HMF type system, for higher rank types
type-system type-inference higher-rank-types
Python
•
MIT License
•0•1•0•0•Updated Jan 20, 2020Jan 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
programming-language type-inference traits row-polymorphism interactively-static-checking first-class-polymorphisms
Python
•
MIT License
•0•14•4•0•Updated Jan 18, 2020Jan 18, 2020
hybrid-type-system
Public
Row + Implicit arguments + MLF.
type-system type-inference traits type-classes row-polymorphism
Python
•
MIT License
•0•3•0•0•Updated Jan 17, 2020Jan 17, 2020
remu-type-system
Public
type-system, revised unification algorithm and runtime time representations
programming-language compiler type-system type-checker row-polymorphism
OCaml
•
Apache License 2.0
•0•14•0•0•Updated Dec 12, 2019Dec 12, 2019
remu-scope
Public
A framework to do name analysis for programming languages.
OCaml
•
MIT License
•0•3•0•0•Updated Dec 11, 2019Dec 11, 2019
remu-incremental-compilation
Public
Using the intermediate files to achieve modularization
Python
•
MIT License
•0•1•0•0•Updated Nov 8, 2019Nov 8, 2019