Alternatives and similar repositories for awesome-category-theory:

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

• statusfailed / catgrad
  a categorical deep learning compiler
  ☆199Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆240Updated 4 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆170Updated 3 years ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆412Updated 2 weeks ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 8 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆100Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• Dicklesworthstone / grassmann_article
  ☆51Updated 10 months ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆253Updated 5 months ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆45Updated 10 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆101Updated this week
• LogicalAtomist / principia
  The Principia Rewrite
  ☆218Updated 2 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• Gandalf- / coreutils
  Unix core utilities implemented in Haskell
  ☆287Updated last week
• ToposInstitute / poly
  ☆113Updated 9 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆347Updated 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
  ☆125Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆623Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆131Updated 2 weeks ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆169Updated 2 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 6 months ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆176Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆113Updated 6 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆111Updated 4 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆299Updated 5 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 3 weeks ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆365Updated 4 years ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆286Updated 8 months ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆159Updated last year