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
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 4 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- A memory efficient syntax tree for language developers☆55Updated 2 months ago
- Choose Rust types at compile-time via constants☆64Updated last year
- A primitive for writing structural search and replace programs for rust☆31Updated 8 months ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- An exploration of Storages☆36Updated last year
- A highly experiment portable runtime☆19Updated 11 months ago
- a reference-counting cycle collection library in rust☆78Updated 2 years ago
- Build a rustc sysroot with custom flags☆17Updated 5 months ago
- ☆31Updated 9 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 8 months ago
- An IDE extension for debugging trait errors in Rust.☆107Updated this week
- Attribute proc-macro to delegate method to a field☆29Updated last year
- Define compiler intermediate representation usable by external tools☆69Updated 8 months ago
- structured parallel execution for async Rust☆33Updated 7 months ago
- exhaustive testing library☆63Updated 7 months ago
- Blazing fast immutable collection datatypes for Rust.☆98Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 11 months ago
- A toy incremental computation framework☆15Updated 4 years ago
- ☆11Updated last week
- Trait generalization of the fundamental types☆43Updated 9 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Completion futures for Rust☆19Updated 2 years 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
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated last week
- Unbuffered and unlocked I/O streams☆45Updated last week
- Lending iterators on stable Rust☆82Updated last year
- An alternative `std`-like implementation built on origin☆26Updated last week