pvdrz / pijama_legacyLinks
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
Sorting:
- ☆60Updated 3 years ago
- A clean, efficient parser combinator☆124Updated 3 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 3 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆39Updated 6 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆90Updated last week
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆112Updated 6 years ago
- A very small GC in Rust, with a safe API☆62Updated 11 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- An implementation of the Hindley-Milner type system in Rust.☆43Updated 8 years ago
- A port of Rob Pike's Go lexer to Rust☆48Updated 5 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- a pragmatic point-free theorem prover assistant☆140Updated last year
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- `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 10 months ago
- hindley-milner algorithm☆61Updated 2 years ago
- A pure functional language for type-level programming in Rust☆330Updated 2 years ago
- A crate with indexed arenas with small memory footprint☆77Updated 9 months ago
- ☆94Updated last year
- Garbage collected smart pointers for Rust☆269Updated 3 years ago
- GLL parsing framework.☆137Updated last year
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- L-Systems in Rust, with a turtle interpreter☆26Updated 5 years ago
- ☆45Updated 6 years ago
- A fast pure-rust no-unsafe implementation of LZ4 compression and decompression☆109Updated last year
- Retriever stores ordinary rust data types in a similar manner as a NoSQL database.☆48Updated 2 years ago
- Easy-to-use optional function arguments for Rust☆47Updated last year
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- A stripped-down version of Git, implemented in Rust☆135Updated last year
- A rust version of the Monkey Interpreter from "Writing an Interpreter in Go"☆38Updated 5 years ago