Alternatives and similar repositories for awesome-applied-category-theory:

Users that are interested in awesome-applied-category-theory are comparing it to the libraries listed below

• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• DavidJaz / DynamicalSystemsBook
  ☆46Updated 10 months ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago
• ToposInstitute / poly
  ☆113Updated 8 months ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last week
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆12Updated last year
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆48Updated 5 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆27Updated 2 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 5 years ago
• djvelleman / HTPILeanPackage
  ☆28Updated 2 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• mattecapu / categorical-systems-theory
  ☆37Updated 8 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• affeldt-aist / infotheo
  A Coq formalization of information theory and linear error-correcting codes
  ☆68Updated last week