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:
- 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 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆31Updated 8 months ago
- ☆35Updated last year
- A primitive for writing structural search and replace programs for rust☆31Updated 11 months ago
- We have Crater At Home☆35Updated 7 months ago
- Scope Graph Implementation in Rust☆27Updated 7 months ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Lending iterators on stable Rust☆82Updated last year
- ☆12Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Traits extending the Rust Range structs in std::ops☆38Updated 2 years ago
- Attribute proc-macro to delegate method to a field☆29Updated last year
- A memory efficient syntax tree for language developers☆62Updated 3 weeks ago
- Cross-platform, endian-aware primitives for Rust☆41Updated last month
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- A regex crate using Brzozowski derivatives.☆26Updated 2 months ago
- Ergonomic tagged pointer☆30Updated 8 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- sptr: The Strict Provenance Polyfill