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
- Blazing fast immutable collection datatypes for Rust.☆109Updated this week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- ☆40Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆31Updated 9 months ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- We have Crater At Home☆36Updated 9 months ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Trait generalization of the fundamental types☆44Updated last year
- A simple, id-based arena☆120Updated last year
- A library for generating Graphviz DOT language files for graphs.☆77Updated 4 months ago
- A memory efficient syntax tree for language developers☆62Updated 2 months ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- Helper macros: autoimpl, impl_scope☆66Updated last month
- ☆12Updated 3 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 4 months ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- Build a rustc sysroot with custom flags☆17Updated last month
- Experimental type level programming in Rust☆37Updated 4 years ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- sptr: The Strict Provenance Polyfill☆75Updated last year
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆101Updated last year
- Transitive derive macros for Rust☆32Updated last month
- Session types for asynchronous communication between multiple parties.☆41Updated last year
- ☆89Updated 6 months ago
- Scope Graph Implementation in Rust☆27Updated 8 months ago
- Const equivalents of std functions, compile-time comparison, and parsing.☆102Updated 7 months ago