mdg / leema
A functional programming language designed for concurrency and failure
☆44Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for leema
- A statically-typed compiled language defined by a simple grammar☆23Updated 2 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆33Updated 5 years ago
- RFCs for changes to Pony☆59Updated 8 months ago
- A (nearly) pure functional programming language.☆24Updated 5 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- A procedurally generated RPG inspired by Rogue and written in Pony.☆68Updated 4 years ago
- Ordo: A minimalist language with row polymorphism☆80Updated 3 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- A language for pipe-based programming☆51Updated last year
- Scheme Interpreter in Rust☆26Updated 6 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- Ikko language☆26Updated 4 years ago
- ☆34Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- Bachelor's thesis 2019☆12Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- The Kuljet language☆26Updated 3 years ago
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- Sild is a lisp dialect☆44Updated 6 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Updated 3 years ago
- Game framework for creating DirectX games with Pony.☆43Updated 8 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 6 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆68Updated 7 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆72Updated 4 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆42Updated 8 years ago