advancedresearch / propLinks
Propositional logic with types in Rust
☆64Updated 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 2 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆34Updated last year
- ☆39Updated last year
- Experimental type level programming in Rust☆40Updated 4 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- ☆90Updated 2 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 2 months ago
- Blazing fast immutable collection datatypes for Rust.☆120Updated 2 weeks ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- A simple, id-based arena☆119Updated 2 years ago
- Zig comptime using Rust proc macros☆50Updated last year
- Trait generalization of the fundamental types☆46Updated last year
- Helper macros: autoimpl, impl_scope☆68Updated 3 weeks ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Convenient creation of type-safe refinement types.☆21Updated last year
- Lift enum variants to the type-level.☆32Updated 4 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆69Updated last year
- We have Crater At Home☆36Updated 11 months ago
- A library for generating Graphviz DOT language files for graphs.☆77Updated 6 months ago
- PEG trace visualizer☆89Updated 2 weeks ago
- Choose Rust types at compile-time via constants☆68Updated last year
- exhaustive testing library☆65Updated last year
- Stack safe and expressive recursion in Rust☆103Updated 4 months ago
- A Rust memory allocator for large slices that don't escape the stack.☆31Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- Anonymous struct and named arguments in Rust.☆78Updated last year
- Nudging the compiler to auto-vectorize things☆75Updated 2 years ago