advancedresearch / propLinks
Propositional logic with types in Rust
☆62Updated last year
Alternatives and similar repositories for prop
Users that are interested in prop are comparing it to the libraries listed below
Sorting:
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 7 months ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- ☆17Updated last year
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- Scope Graph Implementation in Rust☆27Updated 6 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Lending iterators on stable Rust☆82Updated last year
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- LR-style Parser Generator☆19Updated last week
- ☆12Updated last month
- ☆35Updated 4 months ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated last year
- Data-driven tests on stable Rust☆39Updated this week
- Babysteps blog☆36Updated last week
- exhaustive testing library☆63Updated 10 months ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- Helper macros: autoimpl, impl_scope☆60Updated 5 months ago
- A memory efficient syntax tree for language developers☆60Updated last week
- ☆32Updated 11 months ago
- Arena allocator with scopes☆43Updated 2 years ago
- An exploration of Storages☆35Updated last year
- A highly experiment portable runtime☆19Updated last year
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- We have Crater At Home☆34Updated 7 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- A library for generating Graphviz DOT language files for graphs.☆75Updated 2 months ago