Alternatives and similar repositories for aiwatch

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

• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 6 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 6 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• g-leech / argmin-gravitas
  a simulacrum standing in place of Gavin Leech
  ☆16Updated last week
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆63Updated 3 months ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• machine-intelligence / provability
  ☆36Updated 9 years ago
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated 9 months ago
• oughtinc / ergo
  A Python library for integrating model-based and judgmental forecasting
  ☆107Updated 3 years ago
• paulfchristiano / alba
  Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf
  ☆27Updated 8 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆77Updated last year
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• SamotsvetyForecasting / optimal-scoring
  This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…
  ☆18Updated 3 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• alexander-turner / attainable-utility-preservation
  ☆12Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• arc-community / arc
  ARC Community Project
  ☆22Updated 10 months ago
• nickkeesG / Pantheon
  Experimental LLM interface exploring new ways to use AI to improve human thinking
  ☆16Updated 3 months ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆70Updated last week
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 6 months ago