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.