jtcbrule / whittemoreLinks
Causal programming in Clojure
☆26Updated 4 years ago
Alternatives and similar repositories for whittemore
Users that are interested in whittemore are comparing it to the libraries listed below
Sorting:
- ☆81Updated 4 years ago
- Metagol - an inductive logic programming system☆206Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Differentiable Forth Interpreter☆73Updated 7 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- ☆42Updated 8 years ago
- Probabilistic Programming System Anglican☆142Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 8 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- ☆39Updated last year
- A toy model of Friston's active inference in Tensorflow☆41Updated 8 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 6 years ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆80Updated 3 months ago
- An inductive logic programming system☆248Updated 2 months ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Updated last year
- ☆63Updated 7 months ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- ☆28Updated 7 years ago
- debugging biological networks to reach coherence, completeness and consistency☆48Updated last year
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Updated 5 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- automatic differentiation/integration of PDEs☆24Updated 7 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated 3 weeks ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆26Updated 2 years ago
- Multi-pass compiler and runtime for probabilistic programming.☆46Updated last month