pvdrz / pijama_legacy
A functional programming language
☆48Updated 4 years ago
Alternatives and similar repositories for pijama_legacy:
Users that are interested in pijama_legacy are comparing it to the libraries listed below
- A port of Rob Pike's Go lexer to Rust☆48Updated 5 years ago
- A clean, efficient parser combinator☆124Updated 3 years ago
- ☆59Updated 3 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 3 years ago
- garbage collection☆321Updated 5 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- hindley-milner algorithm☆56Updated last year
- GLL parsing framework.☆138Updated last year
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆99Updated 8 months ago
- A rust version of the Monkey Interpreter from "Writing an Interpreter in Go"☆38Updated 5 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 3 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆111Updated 5 years ago
- ☆45Updated 6 years ago
- A crate with indexed arenas with small memory footprint☆77Updated 6 months ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61Updated 2 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆85Updated last month
- A very small GC in Rust, with a safe API☆61Updated 8 months ago
- A language for designing slides☆116Updated last year
- An implementation of the Hindley-Milner type system in Rust.☆42Updated 8 years ago
- A pure functional language for type-level programming in Rust☆327Updated 2 years ago
- a pragmatic point-free theorem prover assistant☆138Updated last year
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- A simple pixel perfect 2D rendering engine☆124Updated 2 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆39Updated 6 years ago
- A data serialization format as similar as possible to Rust's own syntax☆43Updated 2 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- a macro for constructing views in Rust 🏗️☆104Updated 4 years ago
- You've met with a terrible fate, haven't you?☆61Updated 5 years ago
- Easy-to-use optional function arguments for Rust☆47Updated 11 months ago