Alternatives and similar repositories for catgrad:

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

• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆61Updated 2 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆60Updated 9 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆115Updated 2 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 8 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆124Updated 5 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆109Updated this week
• adamnemecek / traceoid.ai
  ☆80Updated 5 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆172Updated 3 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆102Updated this week
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆255Updated 5 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆104Updated 7 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆113Updated 6 months ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆176Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆183Updated last week
• thomasahle / tensorgrad
  Machine Learning with Symbolic Tensors
  ☆267Updated 2 months ago
• LeetArxiv / Finite-Field-Assembly
  The Finite Field Assembly Programming Language
  ☆36Updated last month
• teorth / expdb
  Exponent pair database
  ☆47Updated this week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆63Updated 3 months ago
• HigherOrderCO / HVM3
  HVM3
  ☆213Updated this week
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆159Updated this week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆249Updated 5 months ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆275Updated last month
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆157Updated last week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 8 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆105Updated this week
• Dicklesworthstone / grassmann_article
  ☆51Updated 11 months ago
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆254Updated 6 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated this week