madnight / awesome-category-theory
A curated list of awesome Category Theory resources.
☆111Updated 11 months ago
Alternatives and similar repositories for awesome-category-theory:
Users that are interested in awesome-category-theory are comparing it to the libraries listed below
- a categorical deep learning compiler☆195Updated 9 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆162Updated 3 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆91Updated this week
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆97Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆226Updated 2 months ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- A book about category theory☆408Updated last week
- The Principia Rewrite☆213Updated 3 weeks ago
- Thoughts on adjoint, norm and such.☆167Updated 2 years ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated 8 months ago
- List of resources for learning Category Theory☆245Updated 2 months ago
- A graphical interactive proof assistant designed for education☆165Updated 3 months ago
- Brzozowski derivative python sketch☆85Updated 10 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆60Updated 6 months ago
- Unix core utilities implemented in Haskell☆287Updated 3 months ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- ☆50Updated 8 months ago
- Tactics for discharging Lean goals into SMT solvers.☆164Updated 3 weeks ago
- Catalog of visual lambda calculi☆109Updated last year
- Resources for learning Category Theory for an enthusiast☆618Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 10 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 4 months ago
- Autoregressive transformers in APL☆100Updated last week
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Simple shell like scripting from Haskell☆286Updated 6 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆98Updated 11 months ago
- Selected Papers of Dana S. Scott☆158Updated 8 months ago
- A minimal proof checker.☆73Updated 5 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆216Updated this week