dada-lang / dada-modelLinks
Why can't a tree be called Pluplusch?
☆28Updated 5 months ago
Alternatives and similar repositories for dada-model
Users that are interested in dada-model are comparing it to the libraries listed below
Sorting:
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 7 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A simple, id-based arena☆119Updated 2 years ago
- exhaustive testing library☆65Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 4 months ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- Experimental type level programming in Rust☆40Updated 4 years ago
- Wadler-style pretty-printing combinators in Rust☆169Updated 3 weeks ago
- A garbage collection library for Rust with zero unsafe code☆115Updated last year
- A highly experiment portable runtime☆20Updated last year
- Propositional logic with types in Rust☆64Updated 2 years ago
- We have Crater At Home☆36Updated 11 months ago
- ☆94Updated 2 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- A memory efficient syntax tree for language developers☆62Updated 2 months ago
- Define compiler intermediate representation usable by external tools☆87Updated last month
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆163Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Scope Graph Implementation in Rust☆27Updated 11 months ago
- High performance LOUDS (Level-Order Unary Degree Sequence) library☆35Updated last year
- Declarative parsing for Rust, using a custom derive and nom☆70Updated 2 months ago
- lens implemented in rust☆117Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year