Alternatives and similar repositories for hegel-in-mathematics

Users that are interested in hegel-in-mathematics are comparing it to the libraries listed below

• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 11 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆102Updated 2 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated last week
• machine-intelligence / provability
  ☆40Updated 10 years ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆90Updated 4 months ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆183Updated 11 months ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆76Updated last week
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• byorgey / species
  ☆17Updated 3 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• ToposInstitute / poly
  ☆125Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆34Updated 3 months ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• ulysses4ever / Monads.jl
  Monadic expressions and sequences for Julia
  ☆33Updated last month
• cadCAD-org / CadCAD.jl
  cadCAD implementation in Julia
  ☆17Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆44Updated last year
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆40Updated this week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆55Updated 3 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year
• mattecapu / categorical-systems-theory
  ☆44Updated 8 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• roberthoenig / FirstOrderLogic.jl
  Julia package for parsing, manipulating and evaluating formulas in first-order logic.
  ☆19Updated 5 years ago