nameiwillforget / hegel-in-mathematicsLinks
My exposition of the formalization of Hegel's theory in modal homotopy type theory
☆13Updated 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:
- A graphical editor for graph-like structures☆99Updated last year
- Relational Algebra, now with more algebra!☆54Updated last month
- cadCAD implementation in Julia☆17Updated 7 months ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- Build Petri net models compositionally☆87Updated 9 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated 2 weeks ago
- Building dynamical systems compositionally☆71Updated 9 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated 2 weeks ago
- Simplicial Sets and the Discrete Exterior Calculus☆38Updated this week
- Implementation of Conway's Surreal Numbers☆38Updated 9 months ago
- Method dispatch based on pattern matching for Julia☆49Updated 8 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Julia interface to Z3☆64Updated last month
- A julia package for representing and manipulating model semantics☆77Updated 4 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Updated 5 years ago
- ACSets: Algebraic databases as in-memory data structures☆25Updated 3 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- minimal miniKanren implementation in Julia☆23Updated 8 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Monadic expressions and sequences for Julia☆32Updated 9 months ago
- An interactive theorem prover for string diagrams☆118Updated 9 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- A framework for applied category theory in the Julia language☆18Updated 9 months ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- ☆117Updated last year
- Theories of social science expressed in Catlab.jl formalisms☆15Updated 4 years ago
- A Petri net modeling framework for the Julia programming language☆43Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Real number computation software☆126Updated 2 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago