jtcbrule / whittemore

Related projects: ⓘ

• plai-group / daphne
  Code for first-order probabilistic programming to continuous normalizing flow compiler.
  ☆37Updated last month
• 51alg / TerpreT
  ☆42Updated 7 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 2 months ago
• probprog / anglican
  Probabilistic Programming System Anglican
  ☆141Updated 3 weeks ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆42Updated 7 months ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆66Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆90Updated 5 years ago
• probprog / anglican-examples
  Examples for Probabilistic System Anglican
  ☆13Updated 4 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆68Updated 7 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 2 months ago
• Sophia-Gold / madhava
  automatic differentiation/integration of PDEs
  ☆23Updated 6 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 11 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆200Updated 3 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• probcomp / metaprob
  An embedded language for probabilistic programming and meta-programming.
  ☆168Updated 2 years ago
• RichardEvans / apperception
  ☆70Updated 3 years ago
• jnoessner / rockIt
  RockIt: A query engine for Markov logic
  ☆11Updated 8 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 4 years ago
• probprog / deodorant
  Deodorant: Solving the problems of Bayesian Optimization
  ☆16Updated 6 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆29Updated 4 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆60Updated 8 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆23Updated 9 months ago
• fwood / anglican-examples
  ☆9Updated 9 years ago
• hongseok-yang / probprog17
  ☆27Updated 6 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 4 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 2 years ago
• lspector / propeller
  Yet another Push-based genetic programming system in Clojure
  ☆30Updated 2 months ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 5 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆61Updated 5 months ago