Alternatives and similar repositories for dyna-R

Users that are interested in dyna-R are comparing it to the libraries listed below

• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last month
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆179Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated 3 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆73Updated 7 years ago
• creswick / HaVSA
  HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
  ☆12Updated 8 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 3 months ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 7 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆33Updated this week
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• JUrban / deepmath
  deep learning for math
  ☆28Updated 6 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 8 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year