mdg / leemaLinks
A functional programming language designed for concurrency and failure
☆44Updated 2 years ago
Alternatives and similar repositories for leema
Users that are interested in leema are comparing it to the libraries listed below
Sorting:
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- A procedurally generated RPG inspired by Rogue and written in Pony.☆69Updated 5 years ago
- RFCs for changes to Pony☆61Updated 5 months ago
- ☆35Updated 5 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- Sild is a lisp dialect☆43Updated 6 months ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- Scheme Interpreter in Rust☆28Updated 7 years ago
- Ikko language☆26Updated 4 years ago
- A (nearly) pure functional programming language.☆25Updated 6 years ago
- A language for pipe-based programming☆52Updated 2 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Updated 4 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 7 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Small Elm interpreter made in Rust☆61Updated 2 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- A Scheme embedded in Rust, like Lua in C.☆62Updated 6 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- The Encore compiler.☆44Updated 5 years ago
- A Haskell derived programming language for systems development.☆14Updated 6 years ago
- Game framework for creating DirectX games with Pony.☆44Updated 8 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Ordo: A minimalist language with row polymorphism☆82Updated 2 months ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago