Resolution theorem proving for predicate logic in pure Python.
☆97Nov 20, 2023Updated 2 years ago
Alternatives and similar repositories for pyprover
Users that are interested in pyprover are comparing it to the libraries listed below
Sorting:
- Monoidal stack machine☆10Nov 25, 2018Updated 7 years ago
- An automated theorem prover for first-order logic.☆242Nov 25, 2021Updated 4 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- ☆14Feb 23, 2026Updated last week
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Oct 22, 2025Updated 4 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- Histopathologic Cancer Detection model based on Kaggle Challenge https://www.kaggle.com/c/histopathologic-cancer-detection (top 1%)☆11Feb 16, 2021Updated 5 years ago
- Bk is a tool for simple finance management.☆12Oct 9, 2014Updated 11 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- Minimal LISP Compiler for x86_64☆15Feb 22, 2022Updated 4 years ago
- Python bindings for egg☆50Jan 17, 2023Updated 3 years ago
- lolcat implemented with nim☆12Jun 30, 2019Updated 6 years ago
- Pedagogical first-order prover in Python☆81Jun 10, 2025Updated 8 months ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆18Sep 6, 2019Updated 6 years ago
- "Structured programming" macros for Gnu Assembler (gas)☆16Feb 23, 2026Updated last week
- ☆13May 2, 2023Updated 2 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Convert Abstract Meaning Representation (AMR) into first-order logic☆16Aug 7, 2024Updated last year
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Feb 25, 2026Updated last week
- Console ascii line graphs in pure Nim☆16Mar 2, 2021Updated 5 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 5 years ago
- [DEPRECEATED] A miniature replica of OpenAI's MuseNet☆16Sep 11, 2022Updated 3 years ago
- A "functionally oriented" Racket dialect.☆44May 18, 2022Updated 3 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 9 months ago
- Public reference documents for the SMT-LIB standard☆20Updated this week