The implementation of FOLD-R++ algorithm
☆18Nov 27, 2023Updated 2 years ago
Alternatives and similar repositories for FOLD-R-PP
Users that are interested in FOLD-R-PP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Web interface and API server for elementary Accounts☆13Feb 2, 2023Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆24Jan 27, 2025Updated last year
- A simple way to manage and store the data related to all your research papers!☆17Apr 10, 2023Updated 3 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- ☆16Nov 22, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Experimentation framework for Popper☆24Jul 24, 2025Updated 8 months ago
- A wireframe renderer written in OCaml☆21Oct 18, 2023Updated 2 years ago
- ☆19Mar 6, 2025Updated last year
- A Haskell probabilistic programming library.☆21Mar 28, 2026Updated 2 weeks ago
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- A C implementation of Alien: Fate of the Nostromo, a 2021 board game of the same name☆20Sep 22, 2025Updated 6 months ago
- Library to enable using graphviz in Racket programs☆25Oct 21, 2021Updated 4 years ago
- LAPKT public repository☆41Mar 27, 2025Updated last year
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆42Jun 12, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆39Oct 4, 2025Updated 6 months ago
- The SuperC Parsing Framework☆36May 21, 2025Updated 10 months ago
- The Code Tracer☆34Jan 22, 2025Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 6 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆142Apr 2, 2026Updated 2 weeks ago
- Port of Aleph to SWI-Prolog☆53Feb 7, 2024Updated 2 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- ☆38Nov 11, 2024Updated last year
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆54Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- New user setup app designed for elementary OS☆34Mar 28, 2026Updated 2 weeks ago
- Computing homology of directed flag complexes (based on https://github.com/Ripser/ripser). Online version: https://homepages.abdn.ac.uk/n…☆40Mar 29, 2021Updated 5 years ago
- Python bindings for egg☆50Jan 17, 2023Updated 3 years ago
- Exact optimization for cost function networks and additive graphical models☆65Apr 10, 2026Updated last week
- Top-down interpreter for ASP programs with Constraints☆37Jun 30, 2025Updated 9 months ago
- Beginner's guide to Tactic Programming in Lean☆71Aug 29, 2025Updated 7 months ago
- An equational theorem prover based on Knuth-Bendix completion☆61Mar 12, 2026Updated last month
- Video player and library app designed for elementary OS☆58Jan 20, 2026Updated 2 months ago
- ☆86Apr 10, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Testing Framework for Lean☆76Mar 6, 2026Updated last month
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated 7 months ago
- An inductive logic programming system☆279Updated this week
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆69Jun 26, 2024Updated last year
- Challenging Memory-based Deep Reinforcement Learning Agents☆111Oct 27, 2024Updated last year
- Camera app designed for elementary OS☆67Updated this week
- Educational Proof Assistant for Type Theory☆78Mar 28, 2026Updated 2 weeks ago