A libary for using and learning symbolic rules for knowledge graphs
☆45Dec 10, 2024Updated last year
Alternatives and similar repositories for PyClause
Users that are interested in PyClause are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Mar 27, 2026Updated 3 months ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 6 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated 3 months ago
- Intro to deep learning workshop.☆11May 26, 2018Updated 8 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Feb 27, 2017Updated 9 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.
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Symbolic Geometric Algebra with E-Graphs☆20May 2, 2026Updated 2 months ago
- egraph <-> json☆17Dec 29, 2025Updated 6 months ago
- A Benchmark for Machine Learning from Structured Data☆23Nov 2, 2021Updated 4 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆18Jun 22, 2026Updated 2 weeks ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- ☆13May 2, 2023Updated 3 years ago
- RuDaS: Synthetic Datasets for Rule Learning☆20Jun 21, 2022Updated 4 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years ago
- Learning about Haskell with Variational Autoencoders☆19Nov 16, 2019Updated 6 years ago
- IAGA Sentinel sits next to your AI agents and answers the one question the agent itself cannot.☆168Jun 28, 2026Updated last week
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- prolog interpreter in javascript☆83Feb 14, 2017Updated 9 years ago
- Python interface for SWI-Prolog☆51Jun 25, 2026Updated last week
- Public reference documents for the SMT-LIB standard☆21Mar 27, 2026Updated 3 months ago
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 5 months ago
- A different approach to an E-graph library☆28May 30, 2025Updated last year
- ☆33Nov 2, 2025Updated 8 months ago
- init☆13Feb 3, 2021Updated 5 years ago
- Crawled Wikipedia Tables with Passages☆14Aug 19, 2021Updated 4 years ago
- Extract links from Wikipedia pages to create a cross-document coreference dataset (multilingual support)☆11Apr 13, 2023Updated 3 years ago
- 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.
- OWL2 library for Prolog☆113Aug 23, 2019Updated 6 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆25May 7, 2026Updated last month
- Stratified synthesis for learning machine code instruction semantics☆40May 12, 2026Updated last month
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Jun 22, 2022Updated 4 years ago
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 6 years 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
- A verified tensor library in Lean☆42Updated this week