A libary for using and learning symbolic rules for knowledge graphs
☆43Dec 10, 2024Updated last year
Alternatives and similar repositories for PyClause
Users that are interested in PyClause are comparing it to the libraries listed below
Sorting:
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Updated this week
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆21May 21, 2025Updated 9 months ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- ☆13May 2, 2023Updated 2 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- Public reference documents for the SMT-LIB standard☆20Updated this week
- ☆16Jul 3, 2023Updated 2 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- ☆25Nov 2, 2025Updated 4 months ago
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- Learning about Haskell with Variational Autoencoders☆19Nov 16, 2019Updated 6 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- A verified tensor library in Lean☆36Oct 9, 2025Updated 4 months ago
- A different approach to an E-graph library☆28May 30, 2025Updated 9 months ago
- Gradient Boosting Models on Real-Time Sensor Data for AI-Enhanced Vehicle Predictive Maintenance. By using a web-based interface to forec…☆19Nov 17, 2024Updated last year
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated last month
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆49Feb 25, 2026Updated last week
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 5 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Oct 28, 2025Updated 4 months ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Jun 22, 2022Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- ☆11Sep 18, 2025Updated 5 months ago
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated last month
- computable implementation of real numbers in Lean4☆45Jul 6, 2025Updated 8 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- CyberX-AI-Digital-Twin is an AI-powered cybersecurity platform that uses digital twin technology to simulate, detect, and analyze cyber t…☆14Feb 13, 2025Updated last year
- Hybrid Car Model MATLAB Simulink Simscape☆15Jul 27, 2023Updated 2 years ago