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 crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆92Updated 4 years ago
- A stripped-down version of Git, implemented in Rust☆136Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆143Updated 2 months ago
- You've met with a terrible fate, haven't you?☆62Updated 6 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆253Updated 3 years ago
- A demand-driven compiler with strong IDE support☆195Updated 3 years ago
- A language for designing slides☆116Updated last week
- Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIs☆34Updated 7 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 7 years ago
- A crate with indexed arenas with small memory footprint☆79Updated 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
- `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
- ☆94Updated 2 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61Updated 3 years ago
- L-Systems in Rust, with a turtle interpreter☆26Updated 6 years ago
- Wait, another virtual machine ?☆61Updated 4 years ago
- A port of Rob Pike's Go lexer to Rust☆48Updated 6 years ago
- Type-safe transmutations between layout-compatible types.☆122Updated 5 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- indexlist: A doubly linked list, backed by a vector☆85Updated 2 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 9 years ago
- ☆46Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Updated 8 months ago
- a macro for constructing views in Rust 🏗️☆105Updated 5 years ago
- Simple, Erlang-inspired fault-tolerance framework for Rust Futures.☆131Updated 4 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆118Updated 6 years ago
- ☆81Updated 2 years ago