drever/act-munich external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

drever/act-munich

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/drever/act-munich)

Close

drever / act-munichView on GitHubMore

• External links
• Readme badge

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.

• TheCedarPrince / LuxCat.jl

  View on GitHub
  Using Luxor.jl to design common diagrams found in Category Theory 🐱
  ☆13Mar 26, 2022Updated 4 years ago
• zaklogician / typical-antiphrasis

  View on GitHub
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆41Oct 5, 2020Updated 5 years ago
• wetneb / sheetshow

  View on GitHub
  A renderer for sheet diagrams in bimonoidal categories
  ☆13Aug 28, 2021Updated 4 years ago
• quantum-journal / o3po

  View on GitHub
  O-3PO - Open-source Open-access Overlay Publishing Option
  ☆10Dec 30, 2025Updated 2 months ago
• prathyvsh / learning-topology

  View on GitHub
  Resources for making sense of topology and its concepts
  ☆18Nov 16, 2020Updated 5 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• Risto-Stevcev / category-theory-by-example

  View on GitHub
  Explaining category theory by example
  ☆10Jun 30, 2017Updated 8 years ago
• kris-brown / cql_data_integration

  View on GitHub
  Interface for generating Categorical Query Language files to merge/migrate data between databases
  ☆14Aug 9, 2021Updated 4 years ago
• DavidJaz / DynamicalSystemsBook

  View on GitHub
  ☆52May 19, 2024Updated last year
• stevenbagley / metaii

  View on GitHub
  Common lisp implementation of Val Schorr's Meta-II language
  ☆19Mar 19, 2017Updated 9 years ago
• mbuliga / chemski

  View on GitHub
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆19Jul 4, 2023Updated 2 years ago
• jonsterling / math

  View on GitHub
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆53Jan 23, 2023Updated 3 years ago
• sto0pkid / CategoryTheory

  View on GitHub
  Category Theory in Agda
  ☆13Jan 16, 2018Updated 8 years ago
• sellout / haskerwaul

  View on GitHub
  Category theory concepts in type classes and instances.
  ☆23Mar 13, 2026Updated last week
• bgavran / Agda_Category_Theory

  View on GitHub
  Formalization of category theory in Agda
  ☆17Feb 20, 2023Updated 3 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• yashsavani / Advanced-Foundations-of-ML

  View on GitHub
  A curated list of references to help you get up to speed with the concepts and techniques needed to become a successful ML researcher.
  ☆15Jan 20, 2022Updated 4 years ago
• noamz / linlam

  View on GitHub
  a library for experimental linear lambda calculus
  ☆20Mar 18, 2023Updated 3 years ago
• functionaljustin / duct

  View on GitHub
  DUCT is a Scala 3 category theory and functional programming library
  ☆15Dec 31, 2025Updated 2 months ago
• drever / ct-consciousness

  View on GitHub
  ☆16Jun 30, 2024Updated last year
• hmac / kite

  View on GitHub
  A Haskell-like language for scripting and web apps
  ☆14May 16, 2024Updated last year
• ChrisPenner / catalyst

  View on GitHub
  There are many category theory implementations, but this one is mine
  ☆16Aug 22, 2024Updated last year
• ACT4E / ACT4E

  View on GitHub
  Sources for "Applied Category Theory for Engineering"
  ☆40Updated this week
• peterlefanulumsdaine / cartmell-thesis

  View on GitHub
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆17Jan 6, 2026Updated 2 months ago
• 4y8 / ski-in-asm

  View on GitHub
  A SKI combinators interpreter written in assembly
  ☆20Jul 25, 2020Updated 5 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• technicalguy / acs-category-theory-notes-2017

  View on GitHub
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Jan 18, 2018Updated 8 years ago
• ChristopherChudzicki / math3d

  View on GitHub
  Legacy version: Use math3d-react repo instead
  ☆12Sep 25, 2019Updated 6 years ago
• shriram / plai-public

  View on GitHub
  Repository for (for now) filing bug reports about PLAI.
  ☆14Jul 5, 2025Updated 8 months ago
• namin / reflection-schemes

  View on GitHub
  exploration of reflective architectures in Scheme
  ☆21May 20, 2022Updated 3 years ago
• finsberg / category-theory-python

  View on GitHub
  Learning platform for category theory in python
  ☆17Updated this week
• balejin / QEMU-KVM-Setup-Guide

  View on GitHub
  A detailed guide to setting up a QEMU/KVM for gaming.
  ☆13Nov 24, 2023Updated 2 years ago
• mikeshulman / dirtt

  View on GitHub
  Directed type theory for formal category theory
  ☆17Apr 7, 2017Updated 8 years ago
• relrod / ct

  View on GitHub
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Aug 3, 2019Updated 6 years ago
• mroman42 / ctlc

  View on GitHub
  (λ) Category theory and lambda calculus, Bachelor's thesis
  ☆42Oct 31, 2018Updated 7 years ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• trello-archive / category-theory

  View on GitHub
  sometimes math is just too much fun
  ☆22Jun 25, 2015Updated 10 years ago
• KaroliShp / CatGNN

  View on GitHub
  Prototype for a Category Theory-based GNN Library
  ☆15Apr 20, 2022Updated 3 years ago
• org2blog / org2blog-importers

  View on GitHub
  Importers from various blog formats to org2blog format
  ☆13Aug 4, 2022Updated 3 years ago
• TOTBWF / cubical-categories

  View on GitHub
  Category theory formalized in cubical agda
  ☆21Feb 16, 2020Updated 6 years ago
• aosokin / qpboMex

  View on GitHub
  MATLAB wrapper to the QPBO algorithm by V. Kolmogorov
  ☆11Jun 12, 2015Updated 10 years ago
• gelisam / laughable

  View on GitHub
  Clowns to the left of me, jokers to the right
  ☆15Sep 3, 2019Updated 6 years ago
• tsdye / org-plos-one-template

  View on GitHub
  An Org mode template to export an article that meets the LaTeX specification of the open-access journal PLOS One. See
  ☆15Mar 23, 2014Updated 12 years ago