a pragmatic point-free theorem prover assistant
☆143Sep 21, 2025Updated 5 months ago
Alternatives and similar repositories for poi
Users that are interested in poi are comparing it to the libraries listed below
Sorting:
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆177Jan 24, 2026Updated last month
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 4 years ago
- Helper proc-macro to "ungroup" a captured metavariable☆10Jul 19, 2023Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Mar 20, 2025Updated 11 months ago
- Shard is an Archetype-based Entity Component System implemented in Rust.☆12Sep 12, 2023Updated 2 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆62Aug 23, 2021Updated 4 years ago
- ☆18Dec 15, 2016Updated 9 years ago
- Forth for Rust's trait system☆233Jun 12, 2020Updated 5 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Sep 20, 2024Updated last year
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years ago
- Razor is a tool for constructing finite models for first-order theories☆56Dec 19, 2022Updated 3 years ago
- A fast, extensible, command-line arguments parser☆18Mar 3, 2021Updated 5 years ago
- Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer.☆30Feb 22, 2020Updated 6 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Oct 5, 2020Updated 5 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Jun 11, 2022Updated 3 years ago
- Set theory applied on sorted and deduplicated slices.☆46Oct 10, 2022Updated 3 years ago
- Derive macro for generating arrays from struct fields.☆20Oct 6, 2022Updated 3 years ago
- Implementation of PBRT in rust based on the C++ version by Matt Pharr, Grep Humphreys, and Wenzel Jakob.☆18Jun 21, 2022Updated 3 years ago
- An autodiscover library for Rust☆19Jul 8, 2020Updated 5 years ago
- An analysis library for zero-sum games, written in Rust☆18Sep 13, 2021Updated 4 years ago
- Datalog compiler embedded in Rust as a procedural macro☆504Dec 14, 2025Updated 2 months ago
- Transport-polymorphic, asynchronous session types for Rust☆63Oct 19, 2022Updated 3 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆340Mar 6, 2017Updated 9 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 3 years ago
- A bare-bones macro-based Entity-Component-System☆11Apr 11, 2021Updated 4 years ago
- An async rpc implementation based on tokio and compatible with OCaml Async_rpc☆11Feb 13, 2023Updated 3 years ago
- A collection of small utilities for working with pointer types in Rust.☆133Jan 17, 2025Updated last year
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Oct 11, 2021Updated 4 years ago
- A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.☆21Dec 23, 2020Updated 5 years ago
- "Freedom from syn": Proc macro tools for operating on token trees☆107Mar 21, 2020Updated 5 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Sep 21, 2020Updated 5 years ago
- ☆46Feb 16, 2021Updated 5 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆121Sep 21, 2020Updated 5 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71May 17, 2024Updated last year
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Oct 23, 2022Updated 3 years ago
- A linear solver designed to be easy to use with Rust enums.☆34Apr 11, 2021Updated 4 years ago
- A fast pure-rust no-unsafe implementation of LZ4 compression and decompression☆113Feb 8, 2024Updated 2 years ago
- Versatile Analog Literals for Rust☆11Apr 29, 2015Updated 10 years ago