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
  ☆177Updated 4 years ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆423Updated 2 weeks ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated 6 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated 2 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 9 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆637Updated 2 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆298Updated 9 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆225Updated 7 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆362Updated last year
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆442Updated 3 weeks ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆268Updated 9 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 7 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆151Updated 2 months ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆123Updated 9 months ago
• stefan-hoeck / idris2-tutorial
  ☆234Updated last month
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆302Updated 9 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
  ☆130Updated last month
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated last year
• Dicklesworthstone / grassmann_article
  ☆51Updated last year
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆247Updated last month
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆180Updated 6 months ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆460Updated 2 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆312Updated 10 months ago