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
- language verification, construction, and analysis☆20Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Your happy place for learning APL☆16Updated last year
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- An experimental language server for SomewhatML☆24Updated last year
- A simple prolog implementation in Rust☆26Updated 4 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A compiler for a simple language using llvm☆35Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- ☆21Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- An implementation of the Lox language in Racket.☆30Updated last year
- Experimental functional language☆18Updated 2 years ago
- ☆11Updated 2 weeks ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- ☆27Updated last year
- This repository is supposed to hold a released version of Xanadu☆23Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- Forth emulator, as a Racket #lang☆20Updated last year