An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC
☆23Aug 16, 2022Updated 3 years ago
Alternatives and similar repositories for math490
Users that are interested in math490 are comparing it to the libraries listed below
Sorting:
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- Dockerizer is a tool for easy creation and management of templates for Docker compositions for your PHP applications. You can use it for …☆17Jan 11, 2026Updated last month
- SciToS - the Scientific Tool Set☆12Jun 13, 2023Updated 2 years ago
- ☆18Mar 31, 2025Updated 11 months ago
- A music composer and player with MATLAB☆11Mar 14, 2020Updated 5 years ago
- ☆11May 28, 2025Updated 9 months ago
- A system for computational category theory and applications☆40Jun 27, 2016Updated 9 years ago
- A tool to extract comments from source files in a git repo☆12Nov 27, 2025Updated 3 months ago
- ☆18Jun 13, 2025Updated 8 months ago
- These scripts are made for Raycast. They help me achieve maximum productivity when using my Mac.☆11Jul 24, 2023Updated 2 years ago
- Google Course Builder course for OpsSchool☆21Apr 29, 2013Updated 12 years ago
- jargonLint: A project to build and maintain comprehensive Vale rules.☆16Feb 2, 2026Updated last month
- An Obsidian.md plugin to create and tweak custom themes with live CSS editing, element styling, and instant previews. All without leaving…☆25Feb 10, 2026Updated 2 weeks ago
- Krita - Bundle☆11Sep 19, 2024Updated last year
- Implement displaying specific content around headings based on their levels.☆15Feb 19, 2026Updated last week
- Swiss-army-knife CLI compatible with BASH & ZSH on Debian and Macintosh with an array of utilities for optimising your development workfl…☆15Jul 23, 2025Updated 7 months ago
- A menubar app for gif searches☆13Dec 10, 2022Updated 3 years ago
- A starter app for Blockstack using React hooks☆11Feb 4, 2026Updated 3 weeks ago
- A lightweight macOS menu bar app that lets you schedule automatic shutdown or sleep after a countdown.☆14Jun 30, 2025Updated 8 months ago
- A comprehensive tool to manage Model Context Protocol (MCP) configurations for Claude code☆23Jun 14, 2025Updated 8 months ago
- ☆14Oct 26, 2009Updated 16 years ago
- Tools for Quickly Formatting and Partitioning USB Flash Drives☆11Apr 13, 2016Updated 9 years ago
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year
- Python package for the numerical renormalization group (RG) evolution in the Standard Model Effective Field Theory (SMEFT)☆11Apr 12, 2018Updated 7 years ago
- Comprehensive templates and tools for setting up Claude Code workflows☆18Jul 15, 2025Updated 7 months ago
- Use markdownlint with Obsidian☆15Feb 23, 2026Updated last week
- A program to aid in diagnosing networking issues☆15Feb 20, 2026Updated last week
- ☆13Jan 4, 2023Updated 3 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Jan 23, 2023Updated 3 years ago
- PromptCraft is a prompt perturbation toolkit from the character, word, and sentence levels for prompt robustness analysis. PyPI Package: …☆20Jan 3, 2024Updated 2 years ago
- A Drafts App URL action to create gists.☆20Jan 27, 2013Updated 13 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- This is an outdated Gatsby and Sanity demo and should not be used.☆13Aug 12, 2021Updated 4 years ago
- Build & Download 2700+ popular brands Badge, SVG, Hex & so on to use in GitHub Markdown or Any Web Pages wth fast, reliable with amazing …☆15Nov 25, 2023Updated 2 years ago
- Tutorial on executing system commands within Obsidian using Templater and user definied functions.☆14Mar 12, 2023Updated 2 years ago
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- Python script to convert raw set of Krita resource files into new Bundle format☆15Feb 14, 2025Updated last year
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago