Alternatives and similar repositories for categorical-systems-theory

Users that are interested in categorical-systems-theory are comparing it to the libraries listed below

• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆32Updated 11 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 3 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated 4 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years 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 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆83Updated this week
• madvorak / read-lean
  How to read Lean
  ☆19Updated 9 months ago
• ToposInstitute / poly
  ☆119Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆122Updated last year
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆36Updated 2 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 6 months ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆29Updated 3 years ago
• djvelleman / HTPILeanPackage
  ☆32Updated 4 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆117Updated this week
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆15Updated 5 years ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆49Updated 3 weeks ago
• jkoppel / ecta
  ☆37Updated last year
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated last month
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆42Updated this week
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆34Updated last year