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
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 3 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 4 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆20Updated 5 years ago
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆65Updated this week
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆64Updated this week
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• quantified-uncertainty / squiggle
  An estimation language
  ☆163Updated last week
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆59Updated 5 months ago
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆28Updated 6 months ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆17Updated 6 years ago
• paulfchristiano / alba
  Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf
  ☆27Updated 7 years ago
• SamotsvetyForecasting / optimal-scoring
  This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…
  ☆18Updated 2 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• google-research / crossbeam
  ☆43Updated last year
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆18Updated 3 weeks ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• CatherineWong / dreamcoder
  ☆56Updated 2 years ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆73Updated last year
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆52Updated 4 years ago
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated 5 months ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 5 years ago