a pragmatic point-free theorem prover assistant
☆143Sep 21, 2025Updated last year
Alternatives and similar repositories for poi
Users that are interested in poi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆185Oct 23, 2026Updated last week
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 5 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 10 months ago
- Helper proc-macro to "ungroup" a captured metavariable☆11Jul 19, 2023Updated 3 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆74May 17, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A fast, brute force, automatic theorem prover for first order logic☆44Sep 20, 2024Updated 2 years ago
- Forth for Rust's trait system☆233Jun 12, 2020Updated 6 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 4 years ago
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 3 years ago
- Transport-polymorphic, asynchronous session types for Rust☆64Oct 19, 2022Updated 4 years ago
- A linear solver designed to be easy to use with Rust enums.☆35Apr 11, 2021Updated 5 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆340Mar 6, 2017Updated 9 years ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Updated this week
- Razor is a tool for constructing finite models for first-order theories☆58Oct 25, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- miniserde minus the dependencies☆20Jul 5, 2026Updated 3 months ago
- The website for the AdvancedResearch community☆22Oct 27, 2026Updated last week
- ☆57Updated this week
- A safe-guarded transmute for Rust☆42May 21, 2024Updated 2 years ago
- Set theory applied on sorted and deduplicated slices.☆46Oct 10, 2022Updated 4 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,826Updated this week
- Propositional logic with exponentials☆23Oct 23, 2026Updated last week
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- An automated theorem prover for first order logic.☆31Mar 23, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆55Mar 20, 2025Updated last year
- A collection of small utilities for working with pointer types in Rust.☆141Mar 29, 2026Updated 7 months ago
- Datalog compiler embedded in Rust as a procedural macro☆536Dec 14, 2025Updated 10 months ago
- A minimal in-memory database with relational algebraic expressions as queries☆65Oct 19, 2026Updated 2 weeks ago
- Repository of all kinds of entities.☆15Oct 23, 2022Updated 4 years ago
- Derive macro for generating arrays from struct fields.☆20Apr 8, 2026Updated 6 months ago
- A generic media layer for graphics, IO, and audio for desktop and the browser☆18Jul 5, 2024Updated 2 years ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 10 years ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A lightweight low-level single-threaded actor runtime☆185Jul 15, 2026Updated 3 months ago
- [DEPRECATED] Prevent false sharing by padding and aligning to the length of a cache line☆53Jun 8, 2023Updated 3 years ago
- A special input type for nom to locate tokens☆244Feb 3, 2025Updated last year
- A bare-bones macro-based Entity-Component-System☆11Apr 11, 2021Updated 5 years ago
- Generative arts library in Rust☆22May 21, 2021Updated 5 years ago
- Async friendly, simple and fast binary encoding and decoding in Rust☆24Apr 13, 2022Updated 4 years ago
- An analysis library for zero-sum games, written in Rust☆18Sep 13, 2021Updated 5 years ago