The implementation of FOLD-R++ algorithm
☆17Nov 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
Sorting:
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- ☆17Feb 22, 2023Updated 3 years ago
- A Haskell probabilistic programming library.☆21Feb 19, 2026Updated 2 weeks ago
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆36Oct 4, 2025Updated 5 months ago
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- Top-down interpreter for ASP programs with Constraints☆34Jun 30, 2025Updated 8 months ago
- LAPKT public repository☆41Mar 27, 2025Updated 11 months ago
- Beginner's guide to Tactic Programming in Lean☆68Aug 29, 2025Updated 6 months ago
- ☆38Nov 11, 2024Updated last year
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- ☆46Jul 17, 2025Updated 7 months ago
- An equational theorem prover based on Knuth-Bendix completion☆57Feb 11, 2026Updated 3 weeks ago
- Python bindings for egg☆50Jan 17, 2023Updated 3 years ago
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated 6 months ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- ☆82Updated this week
- A Testing Framework for Lean☆75Feb 25, 2026Updated last week
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆54Feb 18, 2026Updated 2 weeks ago
- An inductive logic programming system☆270Feb 27, 2026Updated last week
- An add-on for Create, providing enchanting & experience related automation.☆62Feb 21, 2026Updated 2 weeks ago
- ☆60Feb 21, 2026Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆95Feb 23, 2026Updated last week
- Educational Proof Assistant for Type Theory☆78Jan 18, 2026Updated last month
- Richardson extrapolation in Julia☆64Dec 15, 2025Updated 2 months ago
- Pedagogical first-order prover in Python☆81Jun 10, 2025Updated 8 months ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆98Updated this week
- Intuitive, type-safe expression quotations for Lean 4.☆101Updated this week
- Code samples for Lean 4☆76Oct 19, 2023Updated 2 years ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆108Updated this week
- Definition of the Viper intermediate verification language.☆95Mar 1, 2026Updated last week
- Build Petri net models compositionally☆90Aug 27, 2025Updated 6 months ago
- Learn Lean 4 with PLFA proofs.☆106Apr 8, 2025Updated 10 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆101Oct 25, 2023Updated 2 years ago
- Challenging Memory-based Deep Reinforcement Learning Agents☆111Oct 27, 2024Updated last year
- A List of companies that use Array Languages (J, K, APL, q)☆100Mar 15, 2024Updated last year