Alternatives and similar repositories for aiwatch:

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

• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆25Updated 6 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• machine-intelligence / provability
  ☆36Updated 9 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆64Updated 2 months ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆28Updated 9 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• oughtinc / ergo
  A Python library for integrating model-based and judgmental forecasting
  ☆107Updated 3 years ago
• ranihorev / scihive-frontend
  Read, Collaborate and talk about scientific papers
  ☆30Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• lio-wong / dreamcoder
  ☆64Updated 3 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 6 months ago
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆29Updated 4 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year