Compositionality / compositionality-latex-template
The Compositionality article class.
☆12Updated last month
Alternatives and similar repositories for compositionality-latex-template:
Users that are interested in compositionality-latex-template are comparing it to the libraries listed below
- Fungrim: the Mathematical Functions Grimoire☆120Updated 3 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 9 months ago
- 🦠AD in less than 20 lines☆54Updated 3 years ago
- ☆46Updated 9 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- A graphical editor for graph-like structures☆98Updated last year
- Python implementation of the monster group☆42Updated last week
- Some operator abuse☆28Updated 7 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 2 weeks ago
- A collaborative environment for formal, interoperable, conceptual modeling☆59Updated this week
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Deep learning via category theory and functional programming☆141Updated 4 years ago
- Building dynamical systems compositionally☆69Updated 4 months ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Description and analysis of some mathematical/physics phenomena by using simulation☆18Updated 10 months ago
- Quantum programming language putting entanglement and superposition front and center☆41Updated 2 years ago
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- FreeTikZ☆37Updated 7 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- A TikZ library of wiring diagrams☆22Updated 6 years ago
- Research into rewrite-rule completion in miniKanren☆9Updated 5 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Deposited packages of the homalg project☆13Updated 2 months ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Relational Algebra, now with more algebra!☆51Updated this week
- Probabilistic programming system for fast and exact symbolic inference☆78Updated 7 months ago