Alternatives and similar repositories for Cateno

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

• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• gstew5 / games
  ☆10Updated 5 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated last year
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• ToposInstitute / poly
  ☆114Updated 10 months ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 7 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 3 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 6 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆55Updated 10 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• friedbrice / AutoDiff
  Code snippets accompanying the talk "Automatic Differentiation in Haskell."
  ☆19Updated 5 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago