Alternatives and similar repositories for aiwatch

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

• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 4 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated 2 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆25Updated 3 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆20Updated 4 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 7 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆17Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆45Updated last month
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• machine-intelligence / provability
  ☆40Updated 10 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆55Updated 5 years ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆39Updated 7 months ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• google-research / crossbeam
  ☆44Updated 2 years ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆66Updated 11 months ago
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆50Updated last year
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆205Updated last week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year