mattecapu / categorical-systems-theory

Related projects ⓘ

Alternatives and complementary repositories for categorical-systems-theory

• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆53Updated 2 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆24Updated 2 years ago
• madvorak / read-lean
  How to read Lean
  ☆16Updated 3 weeks ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆26Updated 2 years ago
• jkoppel / ecta
  ☆33Updated 7 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆33Updated this week
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• djvelleman / HTPILeanPackage
  ☆24Updated 2 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆48Updated 5 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated last week
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆38Updated last year
• lexi-lambda / talks
  ☆43Updated last year
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆24Updated last month
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆56Updated last year
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆12Updated this week
• Lysxia / advent-of-coq-2021
  ☆38Updated 2 years ago
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 5 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆49Updated 9 months ago
• ToposInstitute / poly
  ☆109Updated 4 months ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated last year
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆96Updated 11 months ago
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 6 months ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆32Updated 2 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago