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
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 3 months ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 4 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 7 years ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• machine-intelligence / provability
  ☆40Updated 10 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆78Updated this week
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆24Updated 2 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆55Updated 3 weeks ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• alexander-turner / attainable-utility-preservation
  ☆11Updated 4 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆56Updated this week
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆20Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆56Updated 5 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• andrewschreiber / agent
  Interpretability dashboard for reinforcement learners
  ☆16Updated 6 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆52Updated 2 years ago