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
  ☆180Updated 4 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 3 months ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆453Updated last week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆122Updated 3 weeks ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated last week
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆228Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆326Updated last year
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆446Updated this week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆114Updated 2 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆171Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 3 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆660Updated 2 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆275Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆131Updated 11 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆165Updated 6 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆317Updated last week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Updated last year
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆39Updated 4 months ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 5 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 4 years ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated this week
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆465Updated 2 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated 2 weeks ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆499Updated 3 weeks ago
• jeprinz / pantograph
  ☆101Updated 11 months ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆288Updated 6 months ago
• Gandalf- / coreutils
  Unix core utilities implemented in Haskell
  ☆287Updated 2 months ago