Alternatives and similar repositories for whittemore:

Users that are interested in whittemore are comparing it to the libraries listed below

• plai-group / daphne
  Multi-pass compiler and runtime for probabilistic programming.
  ☆43Updated 3 months ago
• RichardEvans / apperception
  ☆73Updated 3 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 4 years ago
• plai-group / covid
  Modelling epidemiological dynamics and performing inference in these models
  ☆27Updated 3 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆200Updated 3 years ago
• hongseok-yang / probprog17
  ☆28Updated 7 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆46Updated last year
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• piantado / LOTlib3
  Language of thought library for python 3
  ☆48Updated last year
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆73Updated 2 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆72Updated 3 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 3 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 2 years ago
• probprog / anglican-examples
  Examples for Probabilistic System Anglican
  ☆13Updated 5 years ago
• timvieira / rl
  Reference implementation of algorithms for reinforcement learning and Markov decision processes.
  ☆11Updated 4 years ago
• piantado / Fleet
  ☆61Updated 2 months ago
• AdityaMate / collapsing_bandits
  Code repo for "Collapsing Bandits and Their Applications to Public Health Interventions", (NeurIPS'20)
  ☆9Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆27Updated 11 months ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆62Updated 11 months ago
• Sophia-Gold / madhava
  automatic differentiation/integration of PDEs
  ☆23Updated 6 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last week
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated this week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated 2 weeks ago