mdg / leema
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
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- RFCs for changes to Pony☆61Updated 3 months ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 5 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- Ordo: A minimalist language with row polymorphism☆82Updated last month
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- A procedurally generated RPG inspired by Rogue and written in Pony.☆69Updated 5 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 7 years ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆46Updated 3 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Updated 4 years ago
- ☆35Updated 5 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆16Updated 6 years ago
- Generate Erlang VM byte code from Haskell☆170Updated 5 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- Scheme Interpreter in Rust☆28Updated 7 years ago
- A tiny library for processing Erlang BEAM file in Rust☆21Updated last year
- A lightweight erlang runtime☆21Updated 4 years ago
- A (nearly) pure functional programming language.☆25Updated 6 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A simple dependency manager for the Pony language.☆135Updated 4 years ago
- The Plaid Programming Language Tools☆12Updated 10 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- Ikko language☆26Updated 4 years ago
- A language for pipe-based programming☆52Updated 2 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 8 years ago
- Brainfuck with Actors☆36Updated 6 years ago