advancedresearch / propLinks
Propositional logic with types in Rust
☆63Updated 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.☆96Updated last year
- ☆40Updated last year
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- ☆90Updated 2 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆33Updated 11 months ago
- Lending iterators on stable Rust☆83Updated 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
- A memory efficient syntax tree for language developers☆62Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Helper macros: autoimpl, impl_scope☆67Updated last week
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A simple, id-based arena☆120Updated 2 years ago
- Attribute proc-macro to delegate method to a field☆29Updated 2 years ago
- A library for generating Graphviz DOT language files for graphs.☆77Updated 6 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆76Updated 2 weeks ago
- Rust bindings for libgccjit☆23Updated last month
- Target "triple" support☆52Updated 3 weeks ago
- sptr: The Strict Provenance Polyfill☆75Updated last year
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆52Updated 2 weeks ago
- exhaustive testing library☆65Updated last year
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Experimental type level programming in Rust☆39Updated 4 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆163Updated last year
- A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.☆44Updated 2 weeks ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- Trait generalization of the fundamental types☆46Updated last year
- ☆12Updated 5 months ago
- Scope Graph Implementation in Rust☆27Updated 10 months ago
- LR-style Parser Generator☆19Updated 4 months ago
- Rust crate for writing repetitive code easier and faster.☆45Updated 2 years ago