Alternatives and similar repositories for Catlab.jl

Users that are interested in Catlab.jl are comparing it to the libraries listed below

• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆52Updated last year
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆17Updated 2 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• ToposInstitute / poly
  ☆127Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆74Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 10 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 3 weeks ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 6 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 5 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated last year
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆33Updated 7 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆104Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• statusfailed / numeric-optics-python
  ☆28Updated 3 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 5 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 8 years ago