Alternatives and similar repositories for IntroductionToAlgebraicEvaluation

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

• mayabenowitz / Origins
  A minimalistic-bootstrap to find a quantum theory of the cosmos.
  ☆104Updated last year
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆43Updated 5 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• profConradi / eigenfish
  # Eigenfish Ideas by the wonderful ["Computational Discovery on Jupyter"](https://computational-discovery-on-jupyter.github.io/Computatio…
  ☆168Updated 8 months ago
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆147Updated 2 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated 2 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆58Updated 3 weeks ago
• adamimos / epsilon-transformers
  epsilon machines and transformers!
  ☆34Updated 4 months ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆66Updated 2 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆206Updated this week
• Harshs27 / neural-graphical-models
  Neural Graphical models are neural network based graphical models that offer richer representation, faster inference & sampling
  ☆30Updated 3 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆74Updated 10 months ago
• google-deepmind / alphaevolve_repository_of_problems
  ☆150Updated last week
• jcole75 / ARC_Solver
  Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.
  ☆16Updated 3 years ago
• MathieuCarriere / tda-tutorials
  A set of jupyter notebooks for the practice of TDA with the python Gudhi library together with popular machine learning and data sciences…
  ☆28Updated 5 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆271Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆124Updated 2 months ago
• ESHyperscale / nano-egg
  Evolution Pretraining Fully in Int Formats
  ☆38Updated last week
• czbiohub-sf / xicor
  xi correlation method adapted for python
  ☆150Updated 3 years ago
• tangle-software / tangles
  Tangle Software Library
  ☆34Updated last year
• nocotan / awesome-information-geometry
  About A collection of AWESOME things about information geometry Topics
  ☆172Updated last year
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆29Updated last year
• uzulim / hades
  Fast singularity detection with kernel
  ☆37Updated last year
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆44Updated 2 years ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆113Updated last year
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆85Updated 8 months ago
• lio-wong / dreamcoder
  ☆73Updated 3 years ago
• geometric-intelligence / neurometry
  Quantify geometric intelligence in natural and artificial brains.
  ☆51Updated 5 months ago