nameiwillforget / hegel-in-mathematicsLinks
My exposition of the formalization of Hegel's theory in modal homotopy type theory
☆13Updated 2 years ago
Alternatives and similar repositories for hegel-in-mathematics
Users that are interested in hegel-in-mathematics are comparing it to the libraries listed below
Sorting:
- A graphical editor for graph-like structures☆102Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆34Updated 3 months ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- Relational Algebra, now with more algebra!☆55Updated last month
- Build Petri net models compositionally☆86Updated 2 months ago
- ☆119Updated last year
- An interactive theorem prover for string diagrams☆121Updated last year
- Building dynamical systems compositionally☆73Updated this week
- Simplicial Sets and the Discrete Exterior Calculus☆39Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 4 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Monadic expressions and sequences for Julia☆32Updated last year
- A framework for applied category theory in the Julia language☆18Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Real number computation software☆128Updated 3 years ago
- ☆17Updated last month
- ACSets: Algebraic databases as in-memory data structures☆26Updated this week
- Theories of social science expressed in Catlab.jl formalisms☆15Updated 4 years ago
- Method dispatch based on pattern matching for Julia☆49Updated 8 years ago
- ☆51Updated last year
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- A julia package for representing and manipulating model semantics☆77Updated 5 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Sample projects for Quantomatic☆12Updated 5 years ago
- Description and analysis of some mathematical/physics phenomena by using simulation☆19Updated last year
- ☆23Updated 3 years ago
- ☆39Updated 10 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month