bgavran / Agda_Category_Theory

Related projects: ⓘ

• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆86Updated 6 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆23Updated 2 years ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆24Updated 2 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆50Updated 2 years ago
• UniMath / Schools
  ☆77Updated last week
• mattecapu / categorical-systems-theory
  ☆34Updated 2 months ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆24Updated last year
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆49Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated 3 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆84Updated last week
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆75Updated 11 months ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆78Updated this week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆71Updated 4 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• conal / denotational-hardware
  ☆85Updated this week
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆53Updated 10 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆202Updated 3 weeks ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆35Updated 4 years ago
• semorrison / lean-category-theory
  An experimental category theory library for Lean
  ☆46Updated last year
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆180Updated 2 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆89Updated last month
• ToposInstitute / poly
  ☆107Updated 2 months ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆56Updated last year
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago