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
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 4 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 2 months 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
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last week
• davidar / stochaskell
  ☆14Updated 2 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• HnimNart / deeplearning
  ☆53Updated last month
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• UCSD-PL / proverbot9001
  ☆43Updated 2 months ago
• JUrban / deepmath
  deep learning for math
  ☆28Updated 6 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 7 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆72Updated 7 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆30Updated 11 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆71Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago