The implementation of FOLD-R++ algorithm
☆20Nov 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:
- Yet Another (actually non-)Relativistic Renderer☆13Apr 4, 2022Updated 4 years ago
- Switchboard Security & Privacy Plug☆16Sep 3, 2026Updated last month
- The Meta-CSP Framework: a Java API for meta-constraint reasoning☆14May 31, 2021Updated 5 years ago
- A simple way to manage and store the data related to all your research papers!☆17Apr 10, 2023Updated 3 years ago
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 8 years ago
- 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.
- Discover the best clubs and organizations at UTD☆29Oct 3, 2026Updated last week
- ☆14Sep 15, 2022Updated 4 years ago
- Developer dashboard for publishing to AppCenter☆14Updated this week
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated last year
- ☆19Feb 22, 2023Updated 3 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated last year
- ☆15Aug 13, 2019Updated 7 years ago
- Python bindings and API for the flagser C++ library (https://github.com/luetge/flagser).☆17May 30, 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 Haskell probabilistic programming library.☆23May 28, 2026Updated 4 months ago
- ☆27Jan 27, 2026Updated 8 months ago
- A cpmpy-based library for constraint acquisition.☆23Aug 20, 2026Updated last month
- Library to enable using graphviz in Racket programs☆25Sep 21, 2026Updated 2 weeks ago
- The Code Tracer☆33Jan 22, 2025Updated last year
- The Deep Aether: an unofficial addon for the Aether 1.19.2 and beyond. It aims to add lots of new features to give players a chance to ve…☆37Oct 1, 2026Updated last week
- 1.20 inventory management mod. Designed to solve inventory clutter and transferring items while belonging in vanilla Minecraft's aestheti…☆26Jan 10, 2025Updated last year
- ☆29Updated this week
- Light-weight reasoning-loop agent library for JavaScript☆48Feb 19, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Easy bindings between Lean and Python.☆35Sep 30, 2026Updated last week
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated 11 months ago
- ☆43Nov 11, 2024Updated last year
- Port of Aleph to SWI-Prolog☆55Feb 7, 2024Updated 2 years ago
- Switchboard Desktop Plug☆37Sep 22, 2026Updated 2 weeks ago
- ⚙️ A conflict-driven nogood learning answer set solver☆151Sep 30, 2026Updated last week
- Reimplementation of "Exact Combinatorial Optimization with Graph Convolutional Neural Networks" (NeurIPS 2019)☆49Aug 26, 2024Updated 2 years ago
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆59Updated this week
- ☆50Dec 8, 2022Updated 3 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.
- ☆61Feb 5, 2021Updated 5 years ago
- The ultimate moderation plugin☆33Feb 8, 2025Updated last year
- General neural tactic for Lean 4☆46Sep 23, 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…☆42Apr 21, 2026Updated 5 months ago
- Exact optimization for cost function networks and additive graphical models☆68Updated this week
- (now moved to Codeberg) An equational theorem prover based on Knuth-Bendix completion☆61Jul 14, 2026Updated 2 months ago
- Top-down interpreter for ASP programs with Constraints☆46Oct 2, 2026Updated last week