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
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 3 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆32Updated 11 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
• madvorak / read-lean
  How to read Lean
  ☆21Updated 10 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆123Updated last year
• 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
• ToposInstitute / poly
  ☆122Updated last year
• djvelleman / HTPILeanPackage
  ☆33Updated 5 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆38Updated last week
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated this week
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆84Updated this week
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆118Updated this week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆45Updated last year
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆35Updated last year
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated 5 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 7 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated last week
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆42Updated last week
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆130Updated 4 months ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆54Updated last month
• teorth / symmetric_project
  ☆93Updated 2 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆28Updated last year
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• jkoppel / ecta
  ☆37Updated last year