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
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆112Updated 6 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…☆100Updated 11 months ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆251Updated 2 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 3 years ago
- A port of Rob Pike's Go lexer to Rust☆48Updated 5 years ago
- A rust version of the Monkey Interpreter from "Writing an Interpreter in Go"☆38Updated 5 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 working Rust example for how to implement Borrow for complex keys☆66Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 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 crate with indexed arenas with small memory footprint☆77Updated 10 months ago
- Garbage collected smart pointers for Rust☆269Updated 3 years ago
- A very small GC in Rust, with a safe API☆62Updated 11 months ago
- GLL parsing framework.☆137Updated last year
- You've met with a terrible fate, haven't you?☆62Updated 6 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆140Updated last year
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- PEG parser generator built on top of nom☆70Updated 5 years ago
- ☆94Updated last year
- Simple, Erlang-inspired fault-tolerance framework for Rust Futures.☆129Updated 3 years ago
- A macro to generate Rust actors☆45Updated 4 years ago
- ☆45Updated 6 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- A stripped-down version of Git, implemented in Rust☆135Updated last year