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
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆12Updated last year
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆65Updated 2 months ago
• google-research / crossbeam
  ☆43Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆65Updated 7 months ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆76Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 4 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆68Updated last month
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated 7 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆28Updated last year
• gjoncas / Artsy-Diagrams
  Creative diagrams in Ti𝑘Z
  ☆10Updated 4 years ago
• g-leech / argmin-gravitas
  a simulacrum standing in place of Gavin Leech
  ☆14Updated 3 weeks ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• oughtinc / ergo
  A Python library for integrating model-based and judgmental forecasting
  ☆107Updated 3 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆30Updated 3 years ago
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆32Updated last year
• apartresearch / deepdecipher
  🦠 DeepDecipher: An open source API to MLP neurons
  ☆9Updated 11 months ago