pvdrz / pijama_legacyLinks
A functional programming language
☆48Updated 5 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:
- A clean, efficient parser combinator☆124Updated 3 years ago
- ☆60Updated 4 years ago
- A stripped-down version of Git, implemented in Rust☆137Updated last year
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆92Updated 4 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆253Updated 3 years ago
- A pure functional language for type-level programming in Rust☆338Updated 3 years ago
- A rust version of the Monkey Interpreter from "Writing an Interpreter in Go"☆38Updated 6 years ago
- A language for designing slides☆117Updated last month
- You've met with a terrible fate, haven't you?☆62Updated 6 years ago
- GLL parsing framework.☆138Updated last year
- a pragmatic point-free theorem prover assistant☆143Updated 4 months 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…☆102Updated 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
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A demand-driven compiler with strong IDE support☆195Updated 3 years ago
- A Minsky Machine in Rust's type system☆62Updated 5 years ago
- A port of Rob Pike's Go lexer to Rust☆48Updated 6 years ago
- A crate with indexed arenas with small memory footprint☆79Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- A lightweight, elegant scripting language with built-in Rust-FFI.☆167Updated 6 years ago
- garbage collection☆326Updated 6 years ago
- ☆94Updated 2 years ago
- a macro for constructing views in Rust 🏗️☆105Updated 5 years ago
- Partial function application macro for Rust☆49Updated 5 years ago
- Jazz - modern and fast programming language.☆95Updated 3 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆118Updated 6 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 5 months ago
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆372Updated 4 years ago
- Garbage collected smart pointers for Rust☆270Updated 4 years ago
- L-Systems in Rust, with a turtle interpreter☆26Updated 6 years ago