mdg / leemaLinks
A functional programming language designed for concurrency and failure
☆44Updated 3 years ago
Alternatives and similar repositories for leema
Users that are interested in leema are comparing it to the libraries listed below
Sorting:
- RFCs for changes to Pony☆61Updated 10 months ago
- A procedurally generated RPG inspired by Rogue and written in Pony.☆69Updated 5 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Updated 5 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- The 9p protocol as a serde format and message types.☆31Updated 4 years ago
- Scheme Interpreter in Rust☆29Updated 7 years ago
- A Scheme embedded in Rust, like Lua in C.☆62Updated 7 years ago
- Erlang source code parser written in Rust☆10Updated 4 years ago
- Ikko language☆26Updated 5 years ago
- A (nearly) pure functional programming language.☆25Updated 6 years ago
- A Scheme interpreter written in Rust☆90Updated 7 years ago
- Bachelor's thesis 2019☆12Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Macros have types!☆134Updated 2 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- A sub-second static blogging framework☆31Updated 3 months ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Updated 5 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 10 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- ☆35Updated 6 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago