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 …
  ☆71Updated 3 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆140Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆122Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆115Updated this week
• adamnemecek / traceoid.ai
  ☆107Updated 11 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆126Updated 6 months ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆282Updated 7 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 2 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆99Updated 3 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆121Updated 2 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆177Updated 9 months ago
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆23Updated 4 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 8 months ago
• teorth / expdb
  Exponent pair database
  ☆62Updated 2 weeks ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆416Updated 6 months ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆240Updated this week
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆43Updated 4 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated last week
• HnimNart / deeplearning
  ☆53Updated 3 months ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆270Updated 11 months ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated last year