Alternatives and similar repositories for awesome-category-theory

Users that are interested in awesome-category-theory are comparing it to the libraries listed below

• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆174Updated 4 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆202Updated 3 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆262Updated 6 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆132Updated 7 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆108Updated last year
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆258Updated 7 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆101Updated last month
• Dicklesworthstone / grassmann_article
  ☆51Updated last year
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆107Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 7 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆128Updated last year
• LogicalAtomist / principia
  The Principia Rewrite
  ☆223Updated 4 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated 3 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 10 months ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆416Updated last week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆113Updated this week
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆59Updated 8 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆233Updated 3 months ago
• teorth / expdb
  Exponent pair database
  ☆57Updated last week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆140Updated 2 months ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆627Updated 2 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 2 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 9 months ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆196Updated last month
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆244Updated last week
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆98Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 months ago