advancedresearch / propLinks
Propositional logic with types in Rust
☆62Updated 2 years ago
Alternatives and similar repositories for prop
Users that are interested in prop are comparing it to the libraries listed below
Sorting:
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- 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
- Lending iterators on stable Rust☆83Updated last year
- ☆40Updated last year
- Choose Rust types at compile-time via constants☆68Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated last year
- A library for generating Graphviz DOT language files for graphs.☆77Updated 4 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆31Updated 10 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Blazing fast immutable collection datatypes for Rust.☆111Updated last week
- Helper macros: autoimpl, impl_scope☆66Updated 2 months ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 10 months ago
- exhaustive testing library☆64Updated last year
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆76Updated 2 weeks ago
- A memory efficient syntax tree for language developers☆62Updated 2 weeks ago
- Experimental type level programming in Rust☆37Updated 4 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Nudging the compiler to auto-vectorize things☆75Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- A simple, id-based arena☆120Updated last year
- structured parallel execution for async Rust☆36Updated last year
- ☆12Updated 3 months ago
- ☆90Updated 2 weeks ago
- ☆49Updated last week
- Convenient creation of type-safe refinement types.☆21Updated last year
- Macro for sealing traits and structures☆59Updated 8 months ago
- ☆34Updated 3 years ago
- Zig comptime using Rust proc macros☆50Updated last year
- A Rusty CUDA wrapper☆32Updated 3 years ago