Software
For further projects, including those still under development, also see our GitHub.
- AlgebraicABMs.jl: Agent-based modeling via compositional environments and compositional actions.
- AlgebraicDynamics.jl: Build dynamical systems compositionally. Reference: arXiv:2105.12282
- AlgebraicPetri.jl: Build Petri net models compositionally. Reference: arXiv:2203.16345
- AlgebraicRewriting.jl: Generalized term rewriting software and agent-based modeling. Reference: arXiv:2111.03784
- CatColab: A collaborative environment for formal, interoperable, conceptual modeling".
- Catlab.jl: A framework for applied category theory. Reference: arXiv:2106.04703
- CombinatorialSpaces.jl: Combinatorial models of geometric spaces.
- MathAnnotator: Use ChatGPT to extract mathematical concepts. Reference: arXiv:2309.00642
- MathGloss: Web glossary for undergraduate mathematics. Reference: arXiv:2311.12649
- Mathoscope: (Previously Parmesan) Semantic searching in category theory. Reference: arXiv:2406.11577 arXiv:2307.06699 arXiv:2208.13830
- Semagrams.jl: A graphical editor for graph-like structures.
No matching items
Data
These repositories contain “cleaned” versions of mathematical text, with the intention of being used as training corpora for various machine learning projects.
- TAC corpus: the contents and metadata of TAC abstracts as of c. December 2020.
- nLab corpus: the contents of the nLab as of c. December 2020.