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
Sorting:
- O-3PO - Open-source Open-access Overlay Publishing Option☆10Dec 30, 2025Updated 2 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated this week
- Export NetworkX graphs to TikZ directly☆31May 7, 2025Updated 9 months ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- Sources for "Applied Category Theory for Engineering"☆40Feb 26, 2026Updated last week
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- ☆11Nov 14, 2020Updated 5 years ago
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- ☆52May 19, 2024Updated last year
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- A vulnerability assessment tool for system models☆13Oct 1, 2021Updated 4 years ago
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Nov 26, 2025Updated 3 months ago
- An efficient solver for nonlinear constrained feedback Stackelberg games☆11Feb 25, 2025Updated last year
- zig build add-on (add more toolchains [LLVM-based] support)☆15May 5, 2025Updated 10 months ago
- Ansible playbook to provide decent desktop experience☆14Mar 29, 2025Updated 11 months ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- Collection of programming style guides used in Serokell☆12Jul 4, 2022Updated 3 years ago
- Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp☆18Feb 16, 2026Updated 2 weeks ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Jan 23, 2023Updated 3 years ago
- Notebooks and notes on data-driven experiments derived from my studies with fast.ai's courses.☆10Sep 3, 2022Updated 3 years ago
- Alternative layour for mu4e☆14Feb 19, 2026Updated 2 weeks ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- (Unofficial GIT Import of the Official CVS Repo!) Major mode for Emacs for editing MATLAB code, and running MATLAB in an inferior shell.☆19Jan 14, 2012Updated 14 years ago
- Mixed complementarity problems parameterized by "runtime"-parameters with support for implicit differentiation.☆21Nov 24, 2025Updated 3 months ago
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆18Aug 28, 2023Updated 2 years ago
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Sep 26, 2016Updated 9 years ago
- "Good scientific writing is not a matter of life and death; it is much more serious than that."☆14Apr 29, 2025Updated 10 months ago
- ☆20Mar 4, 2025Updated last year
- ☆14Dec 28, 2021Updated 4 years ago
- Downloading and displaying academic ancestry☆16Oct 1, 2015Updated 10 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- tbd beschde☆13Dec 7, 2022Updated 3 years ago
- ☆14Jan 24, 2019Updated 7 years ago
- FHIR Power creates Sentences from FHIR Resources or a Bundle of FHIR Resources to power Machine Learning Models, Vector Searches, and Bi…☆13Dec 13, 2023Updated 2 years ago