Resource for the applied category theory Munich reading group
ā22Oct 15, 2021Updated 4 years ago
Alternatives and similar repositories for act-munich
Users that are interested in act-munich are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Using Luxor.jl to design common diagrams found in Category Theory š±ā12Mar 26, 2022Updated 4 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Dataā41Aug 8, 2026Updated last week
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.ā41Oct 5, 2020Updated 5 years ago
- O-3PO - Open-source Open-access Overlay Publishing Optionā10Apr 23, 2026Updated 3 months ago
- Resources for making sense of topology and its conceptsā18Nov 16, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer ā¢ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Category theory in Coq, by Jason Grossā16Jan 29, 2015Updated 11 years ago
- Explaining category theory by exampleā10Jun 30, 2017Updated 9 years ago
- Common lisp implementation of Val Schorr's Meta-II languageā19Mar 19, 2017Updated 9 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.ā20Jul 4, 2023Updated 3 years ago
- TeX files for summary of category theoryā15Apr 9, 2016Updated 10 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forestā54Jan 23, 2023Updated 3 years ago
- Category Theory in Agdaā13Jan 16, 2018Updated 8 years ago
- ā57May 19, 2024Updated 2 years ago
- A curated list of references to help you get up to speed with the concepts and techniques needed to become a successful ML researcher.ā16Jan 20, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI ā¢ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- a library for experimental linear lambda calculusā20Mar 18, 2023Updated 3 years ago
- Formalization of category theory in Agdaā17Feb 20, 2023Updated 3 years ago
- DUCT is a Scala 3 category theory and functional programming libraryā15Dec 31, 2025Updated 7 months ago
- A SKI combinators interpreter written in assemblyā20Jul 25, 2020Updated 6 years ago
- A Haskell-like language for scripting and web appsā14May 16, 2024Updated 2 years ago
- There are many category theory implementations, but this one is mineā16Aug 22, 2024Updated last year
- Sources for "Applied Category Theory for Engineering"ā43Jul 27, 2026Updated 2 weeks ago
- A Cofunctor is a structure from category theory dual to Functorā16Apr 29, 2018Updated 8 years ago
- Learning platform for category theory in pythonā17Updated this week
- AI Agents on DigitalOcean Gradient AI Platform ā¢ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fetch, flag/mark, delete/expire, and perform other batch operations on messages residing on IMAP servers. A very fast KISS mail fetcher wā¦ā15Oct 9, 2025Updated 10 months ago
- Importers from various blog formats to org2blog formatā13Aug 4, 2022Updated 4 years ago
- Directed type theory for formal category theoryā19Apr 7, 2017Updated 9 years ago
- (Ī») Category theory and lambda calculus, Bachelor's thesisā42Oct 31, 2018Updated 7 years ago
- Prototype for a Category Theory-based GNN Libraryā15Apr 20, 2022Updated 4 years ago
- sometimes math is just too much funā22Jun 25, 2015Updated 11 years ago
- Category theory formalized in cubical agdaā22Feb 16, 2020Updated 6 years ago
- Clowns to the left of me, jokers to the rightā15Sep 3, 2019Updated 6 years ago
- My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Toolsā12Feb 4, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer ā¢ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so onā22Feb 14, 2024Updated 2 years ago
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agdaā21Updated this week
- TQSim is an open-source anyon-based Topological Quantum Computing simulatorā14Dec 8, 2025Updated 8 months ago
- é¦åø大 2018 čē“č®ŗč®Øč®ŗēē¬č®° | Notes for CATegory theory seminar held in Capital Normal University (é¦é½åøč大å¦), Beijing during 2018 autumn. Pictures, Lā¦ā19Nov 21, 2018Updated 7 years ago
- Code repository for our work on Quantum Piā11Jun 4, 2024Updated 2 years ago
- Convert markdown to PDF with embedded mermaid diagramā14May 29, 2020Updated 6 years ago
- Quasi-quoting library for agdaā18Nov 29, 2024Updated last year