advancedresearch / poi
a pragmatic point-free theorem prover assistant
☆137Updated last year
Related projects ⓘ
Alternatives and complementary repositories for poi
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆163Updated last month
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆110Updated 5 years ago
- Forth for Rust's trait system☆226Updated 4 years ago
- A pure functional language for type-level programming in Rust☆323Updated 2 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆98Updated 4 months ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆66Updated 6 months ago
- Prototype extension of the Rust type system towards checking units-of-measure☆108Updated 4 years ago
- Session Type EDSL for Rust☆101Updated 2 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆101Updated 5 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated last year
- Tutorial and demo of rust compiler replacement tooling☆56Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆81Updated this week
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆180Updated 3 years ago
- Macros have types!☆130Updated last year
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- A meta-JIT library for Rust interpreters☆159Updated last year
- Gotchas and warts in Rust Lang☆71Updated last year
- Execute your code on the Rust ecosystem.☆181Updated last month
- GLL parsing framework.☆138Updated 8 months ago
- ☆43Updated 3 years ago
- QuickCheck bug hunting in Rust standard library data structures☆160Updated 5 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆99Updated 7 months ago
- ☆48Updated 4 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Garbage collected smart pointers for Rust☆266Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago