Alternatives and similar repositories for Categorica:

Users that are interested in Categorica are comparing it to the libraries listed below

• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆25Updated this week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 3 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• ATOMSLab / LeanChemicalTheories
  ☆29Updated 10 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆115Updated 8 months ago
• mattecapu / categorical-systems-theory
  ☆36Updated 6 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆43Updated this week
• adamnemecek / traceoid.ai
  ☆51Updated last month
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆48Updated 3 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• taliesinb / MathTools
  MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…
  ☆20Updated 10 months ago
• teorth / symmetric_project
  ☆86Updated last year
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆57Updated this week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆37Updated this week
• statusfailed / numeric-optics-python
  ☆24Updated 2 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆19Updated last month
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆66Updated 9 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆89Updated 4 months ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆124Updated last week
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆24Updated 2 years ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 2 months ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆62Updated 9 months ago
• ToposInstitute / poly
  ☆113Updated 6 months ago