advancedresearch / prop
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
- A memory efficient syntax tree for language developers☆55Updated last month
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Experimental type level programming in Rust☆37Updated 3 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 4 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 10 months ago
- ☆31Updated 8 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…☆46Updated 2 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 8 months ago
- Lending iterators on stable Rust☆82Updated last year
- An IDE extension for debugging trait errors in Rust.☆107Updated last week
- A primitive for writing structural search and replace programs for rust☆31Updated 8 months ago
- exhaustive testing library☆63Updated 7 months ago
- Define compiler intermediate representation usable by external tools☆66Updated 8 months ago
- An exploration of Storages☆36Updated last year
- Choose Rust types at compile-time via constants☆64Updated last year
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated 11 months ago
- ☆36Updated 2 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆152Updated 10 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆74Updated last week
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- Build a rustc sysroot with custom flags☆17Updated 5 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Blazing fast immutable collection datatypes for Rust.☆98Updated last month
- Unbuffered and unlocked I/O streams☆45Updated last week
- ☆16Updated last year
- LR-style Parser Generator☆18Updated last month
- Macro-rules-style syntax matching for procedural macros☆52Updated last year
- Data-driven tests on stable Rust☆39Updated this week
- Exploring the "expression problem" in Rust☆48Updated 2 years ago