rabuf / applied-category-theoryView external linksLinks
GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
☆46Apr 20, 2018Updated 7 years ago
Alternatives and similar repositories for applied-category-theory
Users that are interested in applied-category-theory 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
- Bandicoot is a programming system with a set-based programming language and a run-time environment.☆51Sep 24, 2015Updated 10 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Implementation of a fast exponential matrix for large matrices (full and sparse)☆32Mar 8, 2022Updated 3 years ago
- Datasette plugin for modifying table schemas☆19Nov 10, 2025Updated 3 months ago
- Molecular mechanics systems and simulation data☆19Jun 3, 2024Updated last year
- A software package to identify and locate knots in polymers☆14Nov 20, 2022Updated 3 years ago
- A Datasette plugin that adds UI elements to edit, insert, or delete rows in SQLite tables☆23Feb 9, 2026Updated last week
- Quantum to Molecular Mechanics (Q2MM)☆22Mar 12, 2023Updated 2 years ago
- Julia bindings to the libxc library for exchange-correlation functionals☆25Feb 5, 2026Updated last week
- CQL: Categorical Query Language implementation in Haskell☆182Apr 14, 2023Updated 2 years ago
- A tool for visualizing tensor network contractions.☆21Dec 6, 2021Updated 4 years ago
- DQV-Learning: a novel faster synchronous Deep Reinforcement Learning algorithm☆24Feb 15, 2023Updated 3 years ago
- Scaleable input gradient regularization☆22Jul 8, 2019Updated 6 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆74Apr 29, 2020Updated 5 years ago
- Creating elastic structures using LAMMPS☆12Jan 30, 2023Updated 3 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- PyGL: statistical field theory in Python. github.com/rajeshrinet/pygl☆28May 8, 2025Updated 9 months ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- A ✨blazingly fast✨ builder for Azure Functions powered by esbuild.☆12Jun 18, 2025Updated 7 months ago
- Theoretical modelling of doping effects and magnetic field effects on the quantum transport in Graphene.☆14Mar 29, 2013Updated 12 years ago
- Facial-Expression Recognition with Deep Neural Networks☆10Mar 6, 2016Updated 9 years ago
- Kan: A browser extension for reading nLab☆33Oct 2, 2018Updated 7 years ago
- ☆15Jun 13, 2023Updated 2 years ago
- A High-Frequency Market-Making bot for CoinCheck.jp☆11Oct 30, 2017Updated 8 years ago
- This package contains a few programs to study band topology based on the Wannier tight-binding model.☆11May 30, 2021Updated 4 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- This program computes the sum-frequency generation (SFG) spectrum for a give MD trajectory of interfacial water molecules. The program ca…☆12Jul 24, 2023Updated 2 years ago
- ☆31Dec 13, 2017Updated 8 years ago
- Python Topological Materials (pytopomat) is a code for easy, high-throughput analysis of topological materials.☆30May 17, 2021Updated 4 years ago
- Sources for "Applied Category Theory for Engineering"☆40Jan 29, 2026Updated 2 weeks ago
- Quantomatic is a tool for doing automated graph rewriting.☆171Oct 3, 2019Updated 6 years ago
- Given an RDKit molecule that does not sanitise, correct it until it does☆44Apr 5, 2024Updated last year
- Gridded Earth variables, domain decomposition, and climate model C-grid support☆45Feb 7, 2026Updated last week
- ☆12Mar 13, 2025Updated 11 months ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- Curatable database for experimental and theoretical data on solid materials.☆13Sep 21, 2025Updated 4 months ago
- Addressing Training-Test Class Distribution Mismatch in Conversational Classification for SemEval-2019 Task3 EmoContext☆10Apr 9, 2019Updated 6 years ago