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
• maxsnew / virtual-equipments

  View on GitHub
  Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
  ☆32Apr 29, 2023Updated 3 years ago
• JohnWCartmell / Theory

  View on GitHub
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated this week
• zaklogician / typical-antiphrasis

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

  View on GitHub
  O-3PO - Open-source Open-access Overlay Publishing Option
  ☆10Apr 23, 2026Updated 4 months ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• wetneb / sheetshow

  View on GitHub
  A renderer for sheet diagrams in bimonoidal categories
  ☆13Aug 28, 2021Updated 5 years ago
• zcaudate / brahmin

  View on GitHub
  Category theory morphisms for clojurescript
  ☆16Mar 13, 2015Updated 11 years ago
• Risto-Stevcev / category-theory-by-example

  View on GitHub
  Explaining category theory by example
  ☆10Jun 30, 2017Updated 9 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 5 years ago
• epirecipes / EpiCats

  View on GitHub
  Applied category theory applied to epidemiological models
  ☆12Aug 7, 2024Updated 2 years ago
• 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.
  ☆20Jul 4, 2023Updated 3 years ago
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 10 years ago
• jonsterling / math

  View on GitHub
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆54Jan 23, 2023Updated 3 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• sto0pkid / CategoryTheory

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

  View on GitHub
  ☆57May 19, 2024Updated 2 years ago
• bgavran / Agda_Category_Theory

  View on GitHub
  Formalization of category theory in Agda
  ☆17Feb 20, 2023Updated 3 years ago
• peterlefanulumsdaine / cartmell-thesis

  View on GitHub
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆17Jan 6, 2026Updated 7 months ago
• hmac / kite

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

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

  View on GitHub
  Sources for "Applied Category Theory for Engineering"
  ☆44Updated this week
• 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 7 years ago
• ChristopherChudzicki / math3d

  View on GitHub
  Legacy version: Use math3d-react repo instead
  ☆12Sep 25, 2019Updated 6 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• finsberg / category-theory-python

  View on GitHub
  Learning platform for category theory in python
  ☆17Updated this week
• Own-Data-Privateer / hoardy-mail

  View on GitHub
  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
• sellout / haskerwaul

  View on GitHub
  Category theory concepts in type classes and instances.
  ☆23Jun 27, 2026Updated 2 months ago
• balejin / QEMU-KVM-Setup-Guide

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

  View on GitHub
  Directed type theory for formal category theory
  ☆19Apr 7, 2017Updated 9 years ago
• mroman42 / ctlc

  View on GitHub
  (λ) Category theory and lambda calculus, Bachelor's thesis
  ☆42Oct 31, 2018Updated 7 years ago
• trello-archive / category-theory

  View on GitHub
  sometimes math is just too much fun
  ☆22Jun 25, 2015Updated 11 years ago
• aosokin / qpboMex

  View on GitHub
  MATLAB wrapper to the QPBO algorithm by V. Kolmogorov
  ☆11Jun 12, 2015Updated 11 years ago
• TOTBWF / cubical-categories

  View on GitHub
  Category theory formalized in cubical agda
  ☆22Feb 16, 2020Updated 6 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. Zero configuration with optimized deployments.
• gelisam / laughable

  View on GitHub
  Clowns to the left of me, jokers to the right
  ☆15Sep 3, 2019Updated 7 years ago
• ronylee11 / suckless

  View on GitHub
  My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Tools
  ☆12Feb 4, 2023Updated 3 years ago
• mikesperber / rc3

  View on GitHub
  Code for embedding BASIC inside of Racket
  ☆12Jun 6, 2021Updated 5 years ago
• mgrabovsky / fm-notes

  View on GitHub
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆22Feb 14, 2024Updated 2 years ago
• biocini / kitcat

  View on GitHub
  Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
  ☆21Aug 25, 2026Updated last week
• gitpod-samples / template-ocaml

  View on GitHub
  A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
  ☆17Aug 28, 2023Updated 3 years ago
• jcouyang / cats.rb

  View on GitHub
  a simple Category Theory lib for Ruby
  ☆17Jan 19, 2017Updated 9 years ago