yogsototh / Category-Theory-PresentationView external linksLinks
An Haskell oriented introduction to Category Theory (with basket of cats!)
☆63Oct 6, 2025Updated 4 months ago
Alternatives and similar repositories for Category-Theory-Presentation
Users that are interested in Category-Theory-Presentation are comparing it to the libraries listed below
Sorting:
- An attemps to make a document to help learn Haskell☆44Apr 23, 2019Updated 6 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 3 months ago
- Agda libraries relevant to Moonad☆14Apr 2, 2019Updated 6 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated 9 months ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Category theory in the context of (functional) programming☆522Feb 26, 2018Updated 7 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Jan 5, 2015Updated 11 years ago
- Assertions, Reduction, Collections☆17Dec 19, 2022Updated 3 years ago
- Notes and stuff related to the study group☆15Feb 26, 2017Updated 8 years ago
- A yesod tutorial☆24Apr 23, 2019Updated 6 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆793Jan 9, 2026Updated last month
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- Linear Logic for Constructive Mathematics, in Agda☆18Jul 7, 2019Updated 6 years ago
- ☆16Jun 17, 2017Updated 8 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- being a programming language for sequential circuits☆22Dec 8, 2025Updated 2 months ago
- Interactive Theorem Proving for students☆20Aug 26, 2023Updated 2 years ago
- Category theory applied to functional programming (undergraduate project)☆34May 1, 2025Updated 9 months ago
- Lens interface for your filesystem☆22Dec 21, 2020Updated 5 years ago
- ☆94Apr 19, 2025Updated 9 months ago
- Haskell Join-calculus DSL☆24Jan 5, 2019Updated 7 years ago
- Multimode simple type theory as an Agda library.☆23Sep 18, 2024Updated last year
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- An introductory course to Homotopy Type Theory☆376Jul 24, 2020Updated 5 years ago
- Resources for type theory, functional programming, etc.☆320Mar 18, 2021Updated 4 years ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆215Mar 25, 2022Updated 3 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆27Apr 22, 2022Updated 3 years ago
- ☆26Dec 31, 2021Updated 4 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Tiny type-checker with dependent types☆78Jan 8, 2014Updated 12 years ago
- ☆31Apr 17, 2023Updated 2 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Mar 21, 2024Updated last year
- virtual conference about javascript and functional programming☆20Jan 20, 2016Updated 10 years ago
- Network Programming with Relational and Procedural Abstractions (NERPA)☆32Apr 4, 2023Updated 2 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- ☆28Jun 18, 2020Updated 5 years ago