drever / act-munichView external linksLinks
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 last month
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Feb 3, 2026Updated last 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
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- ☆11Nov 14, 2020Updated 5 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- A vulnerability assessment tool for system models☆13Oct 1, 2021Updated 4 years ago
- Mapping toolset to migrate/transform existing datasets to HL7 FHIR☆15Jan 21, 2026Updated 3 weeks ago
- Ansible playbook to provide decent desktop experience☆14Mar 29, 2025Updated 10 months ago
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Nov 26, 2025Updated 2 months ago
- Importers from various blog formats to org2blog format☆13Aug 4, 2022Updated 3 years ago
- An efficient solver for nonlinear constrained feedback Stackelberg games☆11Feb 25, 2025Updated 11 months ago
- Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp☆17Jan 17, 2026Updated 3 weeks ago
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- The Compositionality article class.☆13Jun 12, 2025Updated 8 months ago
- AVEditDemo，可以导入系统相册视频☆15Jul 5, 2013Updated 12 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Jan 23, 2023Updated 3 years ago
- My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Tools☆12Feb 4, 2023Updated 3 years ago
- Log to W&B from Julia☆12Jun 13, 2022Updated 3 years ago
- Code from the mri_unbound website☆11May 3, 2021Updated 4 years ago
- Uncovering convolutional neural network decisions for diagnosing multiple sclerosis on conventional MRI using layer-wise relevance propag…☆10Feb 7, 2022Updated 4 years ago
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 2 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
- Fast MRI reconstruction on CUDA GPUs☆10Dec 30, 2023Updated 2 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- Linear Algebra Course having been taught in HSE in 2019/2020 (in russian)☆12May 22, 2020Updated 5 years ago
- Alternative layour for mu4e☆14Updated this week
- Convert markdown to PDF with embedded mermaid diagram☆13May 29, 2020Updated 5 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Notebooks and notes on data-driven experiments derived from my studies with fast.ai's courses.☆10Sep 3, 2022Updated 3 years ago
- Wildcards project - Always for sale NFT's used to raise money for endangered animals through harberger patronage☆11Jun 26, 2023Updated 2 years ago
- A custom interior point solver for mixed complementarity problems.☆18Nov 24, 2025Updated 2 months ago
- Simple Flask-Python API☆13Nov 27, 2023Updated 2 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
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year