hellerve / microml
A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
☆36Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for microml
- Your happy place for learning APL☆16Updated last year
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆16Updated this week
- An experimental language with compile time bounds checking☆14Updated 5 years ago
- ☆21Updated 4 years ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- A compiler for a simple language using llvm☆35Updated last year
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- language verification, construction, and analysis☆20Updated 2 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Racket to WebAssembly "compiler".☆31Updated 4 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 5 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last year
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- Charity Programming Language☆38Updated 9 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- ☆18Updated last year
- ☆11Updated last week
- A toy programming language.☆37Updated 9 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆27Updated last year
- ☆17Updated 5 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago