nameiwillforget / hegel-in-mathematicsLinks
My exposition of the formalization of Hegel's theory in modal homotopy type theory
☆14Updated last year
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:
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- A graphical editor for graph-like structures☆97Updated last year
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- cadCAD implementation in Julia☆16Updated 6 months ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Updated 5 years ago
- Method dispatch based on pattern matching for Julia☆49Updated 8 years ago
- minimal miniKanren implementation in Julia☆23Updated 8 years ago
- Relational Algebra, now with more algebra!☆54Updated 3 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- ACSets: Algebraic databases as in-memory data structures☆25Updated 2 months ago
- Building dynamical systems compositionally☆71Updated 8 months ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- A Petri net modeling framework for the Julia programming language☆42Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- ☆48Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Julia wrapper around SWI Prolog☆13Updated 3 years ago
- ☆23Updated 3 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆80Updated this week
- Real number computation software☆125Updated 2 years ago
- Deposited packages of the homalg project☆15Updated last month
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆37Updated last week
- An interactive theorem prover for string diagrams☆118Updated 8 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Implementation of Conway's Surreal Numbers☆38Updated 8 months ago
- Build Petri net models compositionally☆85Updated 8 months ago
- A DSL for the internal language of a topos☆64Updated 2 weeks ago
- Monadic expressions and sequences for Julia☆32Updated 9 months ago