Topic: "category-theory"
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Language: TeX - Size: 69.3 MB - Last synced at: 3 days ago - Pushed at: 15 days ago - Stars: 11,240 - Forks: 610
steshaw/plt
Programming Language Theory Ξ»Ξ
Language: CSS - Size: 217 KB - Last synced at: 3 days ago - Pushed at: 6 months ago - Stars: 5,296 - Forks: 340
varkor/quiver
A modern commutative diagram editor for the web.
Language: JavaScript - Size: 8.57 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 3,250 - Forks: 96
yishn/tikzcd-editor
A simple visual editor for creating commutative diagrams.
Language: JavaScript - Size: 1.11 MB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 1,934 - Forks: 101
bgavran/Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
Language: Python - Size: 238 KB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 1,379 - Forks: 81
JasonShin/fp-core.rs
A library for functional programming in Rust
Language: Rust - Size: 271 KB - Last synced at: about 13 hours ago - Pushed at: almost 3 years ago - Stars: 1,377 - Forks: 66
thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Language: Haskell - Size: 588 KB - Last synced at: about 8 hours ago - Pushed at: over 1 year ago - Stars: 1,000 - Forks: 37
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Language: Coq - Size: 3.27 MB - Last synced at: 2 days ago - Pushed at: 2 months ago - Stars: 771 - Forks: 74
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
Language: Julia - Size: 60.7 MB - Last synced at: 2 days ago - Pushed at: 8 days ago - Stars: 651 - Forks: 57
bow-swift/bow
πΉ Bow is a cross-platform library for Typed Functional Programming in Swift
Language: Swift - Size: 726 MB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 651 - Forks: 33
jwbuurlage/category-theory-programmers
Category theory in the context of (functional) programming
Size: 8.21 MB - Last synced at: 22 days ago - Pushed at: about 7 years ago - Stars: 522 - Forks: 38
demystifyfp/FsToolkit.ErrorHandling
An opinionated F# Library for error handling
Language: F# - Size: 4.06 MB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 503 - Forks: 64
mmenestret/fp-resources
Functional programming great resources
Size: 104 KB - Last synced at: 13 days ago - Pushed at: about 5 years ago - Stars: 489 - Forks: 51
uncomplicate/fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Language: Clojure - Size: 705 KB - Last synced at: about 21 hours ago - Pushed at: about 1 year ago - Stars: 470 - Forks: 35
statebox/awesome-applied-ct
ACT community resources
Size: 36.1 KB - Last synced at: 16 days ago - Pushed at: over 5 years ago - Stars: 469 - Forks: 25
zio/zio-prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Language: Scala - Size: 15.9 MB - Last synced at: 2 days ago - Pushed at: 7 days ago - Stars: 463 - Forks: 116
abuseofnotation/category-theory-illustrated
A book about category theory
Language: HTML - Size: 79.6 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 413 - Forks: 46
discopy/discopy
The Python toolkit for computing with string diagrams.
Language: Python - Size: 37.3 MB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 373 - Forks: 67
typedefs/typedefs
Programming language agnostic type construction language based on polynomials.
Language: Idris - Size: 718 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 364 - Forks: 18
sderosiaux/every-single-day-i-tldr
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Size: 17.4 MB - Last synced at: about 5 hours ago - Pushed at: 7 days ago - Stars: 320 - Forks: 21
CategoricalData/CQL
Categorical Query Language IDE
Language: Java - Size: 145 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 299 - Forks: 22
jameshaydon/lawvere
A categorical programming language with effects
Language: Haskell - Size: 212 KB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 267 - Forks: 5
statebox/idris-ct
formally verified category theory library
Language: Idris - Size: 376 KB - Last synced at: 22 days ago - Pushed at: almost 5 years ago - Stars: 263 - Forks: 23
UniMath/agda-unimath
The agda-unimath library
Language: Agda - Size: 28.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 253 - Forks: 79
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic β-categories.
Language: Haskell - Size: 55.6 MB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 227 - Forks: 10
chshersh/ccl
π CCL: Categorical Configuration Language, The most elegant configuration language
Language: OCaml - Size: 76.2 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 216 - Forks: 2
Risto-Stevcev/bastet π¦
A ReasonML/Ocaml library for category theory and abstract algebra
Language: OCaml - Size: 4.52 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 214 - Forks: 26
dmitriz/functional-examples
Examples with Functional JavaScript, following Professor Frisby's course
Language: JavaScript - Size: 136 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 181 - Forks: 22
adamnemecek/adjoint
Thoughts on adjoint, norm and such.
Size: 106 KB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 169 - Forks: 5
err0r500/foundational-knowledge-for-programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Size: 34.2 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 163 - Forks: 11
statebox/cql
CQL: Categorical Query Language implementation in Haskell
Language: Haskell - Size: 616 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 155 - Forks: 14
xvw/preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Language: OCaml - Size: 1.17 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 148 - Forks: 7
copumpkin/categories
Categories parametrized by morphism equality, in Agda
Language: Agda - Size: 772 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 148 - Forks: 27
rafbcampos/naive_functional_programming
A naive approach to functional programming using TypeScript
Language: TypeScript - Size: 374 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 139 - Forks: 2
Anton-Latukha/Fundamental-Haskell
Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kΕan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Language: Emacs Lisp - Size: 73.7 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 126 - Forks: 10
Lambda-Mountain-Compiler-Backend/LSTS
Large Scale Type Systems (programming language)
Size: 1.21 MB - Last synced at: 5 days ago - Pushed at: 4 months ago - Stars: 122 - Forks: 3
FluxML/Functors.jl
Parameterise all the things
Language: Julia - Size: 1.24 MB - Last synced at: about 17 hours ago - Pushed at: 6 months ago - Stars: 121 - Forks: 16
madnight/awesome-category-theory
A curated list of awesome Category Theory resources.
Size: 602 KB - Last synced at: 15 days ago - Pushed at: 28 days ago - Stars: 115 - Forks: 6
functionalland/functional
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Language: JavaScript - Size: 297 KB - Last synced at: 9 days ago - Pushed at: almost 4 years ago - Stars: 112 - Forks: 2
AlgebraicJulia/Semagrams.jl
A graphical editor for graph-like structures
Language: Scala - Size: 147 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 98 - Forks: 10
homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io
Language: Rust - Size: 219 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 97 - Forks: 7
amintimany/Categories
A formalization of category theory in the Coq proof assistant.
Language: Coq - Size: 596 KB - Last synced at: 4 days ago - Pushed at: 7 months ago - Stars: 96 - Forks: 4
YBogomolov/monadic-mondays π¦
Code samples for #monadicmonday topics
Language: TypeScript - Size: 266 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 86 - Forks: 5
ekmett/linear-logic
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
Language: Haskell - Size: 331 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 83 - Forks: 2
jonsterling/forest
My mathematical Zettelkasten, created using forester.
Language: Shell - Size: 1.83 GB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 82 - Forks: 4
alhassy/CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.
Size: 7.82 MB - Last synced at: 30 days ago - Pushed at: about 5 years ago - Stars: 72 - Forks: 4
damienstanton/ctrs π¦
Category Theory For Programmers (Bartosz Milewski)
Language: Rust - Size: 11.7 KB - Last synced at: 9 minutes ago - Pushed at: over 3 years ago - Stars: 67 - Forks: 3
fdilke/bewl
A DSL for the internal language of a topos
Language: Scala - Size: 100 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 64 - Forks: 3
neko-kai/fp-dictionary
FP category theory jargon explained on a single A4 page
Size: 95.7 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 63 - Forks: 5
con-kitty/categorifier
Interpret Haskell programs into any cartesian closed category.
Language: Haskell - Size: 737 KB - Last synced at: 22 days ago - Pushed at: 4 months ago - Stars: 59 - Forks: 2
yishn/jsx-tikzcd
Render tikzcd diagrams with JSX.
Language: JavaScript - Size: 150 KB - Last synced at: about 7 hours ago - Pushed at: over 5 years ago - Stars: 59 - Forks: 7
statebox/fsm-oracle
Finite state machines as graphs
Language: Idris - Size: 95.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 58 - Forks: 7
sjoerdvisscher/data-category
Library of categories, with categorical constructions on them
Language: Haskell - Size: 458 KB - Last synced at: 30 days ago - Pushed at: almost 2 years ago - Stars: 56 - Forks: 6
sellout/caterwaul
Wailing into the primordial ooze of category theory
Language: Dhall - Size: 974 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 55 - Forks: 1
AlgebraicJulia/AlgebraicRelations.jl
Relational Algebra, now with more algebra!
Language: Julia - Size: 516 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 54 - Forks: 4
propensive/mercator-old π¦
Automatic typeclass-based abstraction over monad-like types
Language: Scala - Size: 961 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 54 - Forks: 10
fredefox/cat
A formalization of category theory in cubical Agda
Language: Agda - Size: 3.96 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 53 - Forks: 4
sharkdp/purescript-ctprelude
A Prelude with names from category theory
Language: PureScript - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 51 - Forks: 1
chakravala/DirectSum.jl
Tangent bundle, vector space and Submanifold definition
Language: Julia - Size: 219 KB - Last synced at: 10 days ago - Pushed at: 2 months ago - Stars: 50 - Forks: 4
politrons/LetsGO
Examples of the most important features of this languages.
Language: Go - Size: 5.33 MB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 45 - Forks: 7
chakravala/AbstractTensors.jl
Tensor algebra abstract type interoperability setup
Language: Julia - Size: 106 KB - Last synced at: 9 days ago - Pushed at: 6 months ago - Stars: 43 - Forks: 5
jcouyang/meow
Catless Category Theory in Dotty/Scala 3 meow ~
Language: Scala - Size: 1.08 MB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 43 - Forks: 5
AlexPof/opycleid
Opycleid - A Python package for transformational music theory
Language: Python - Size: 1.54 MB - Last synced at: 10 days ago - Pushed at: almost 3 years ago - Stars: 42 - Forks: 3
yolc-dev/yul-dsl-monorepo
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Language: Haskell - Size: 1.61 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 38 - Forks: 4
Verites/verigraph
Software specification and verification system based on graph rewriting
Language: Haskell - Size: 2.91 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 36 - Forks: 4
flyfish30/zig-cats
A category and functional programing library for Zig language
Language: Zig - Size: 419 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 33 - Forks: 2
TheCedarPrince/C3T
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. π±
Language: TeX - Size: 1.93 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 33 - Forks: 3
rpeszek/notes-milewski-ctfp-hs
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Language: Haskell - Size: 212 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 32 - Forks: 1
jpvillaisaza/cain
Category theory applied to functional programming (undergraduate project)
Language: TeX - Size: 905 KB - Last synced at: 27 days ago - Pushed at: over 6 years ago - Stars: 32 - Forks: 0
ACT4E/ACT4E
Sources for "Applied Category Theory for Engineering"
Language: TeX - Size: 2.4 GB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 31 - Forks: 5
alstn2468/category-theory-for-programmers
π§ WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation π
Language: TypeScript - Size: 2.29 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 31 - Forks: 2
matteobaglini/functional-structures-refactoring-kata
Starting code and proposed solution for Functional Structures Refactoring Kata
Language: C# - Size: 127 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 31 - Forks: 19
AlgebraicJulia/AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Language: Julia - Size: 8.63 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 30 - Forks: 5
paolobrasolin/commutative-diagrams
CoDi: Commutative Diagrams for TeX
Language: TeX - Size: 4.2 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 30 - Forks: 3
mattecapu/awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
Size: 2.93 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 30 - Forks: 2
stanfordhaskell/cs43
Course materials for Stanford's CS43: Functional Programming Paradigms
Language: Haskell - Size: 1.45 MB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 30 - Forks: 5
elbaulp/Scala-Category-Theory
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Language: Scala - Size: 34.2 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 30 - Forks: 4
sjoerdvisscher/free-functors
Provides free functors that are adjoint to functors that forget class constraints.
Language: Haskell - Size: 80.1 KB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 29 - Forks: 3
bow-swift/bow-lite
πΉ Bow Lite is a cross-platform library for Typed Functional Programming in Swift
Language: Swift - Size: 493 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 29 - Forks: 2
anoma/geb
A Categorical View of Computation
Language: Idris - Size: 8.39 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 27 - Forks: 9
fp4ts/fp4ts
Zero-dependency, purely functional library for effectful programming in Typescript
Language: TypeScript - Size: 8.96 MB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 27 - Forks: 1
CategoricalData/opl
Operad Programming Language in Haskell, by David Darais
Language: Haskell - Size: 4.88 MB - Last synced at: about 1 year ago - Pushed at: about 11 years ago - Stars: 27 - Forks: 1
homalg-project/CAP_project
CAP project -- Categories, Algorithms, and Programming
Language: GAP - Size: 50.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 26 - Forks: 18
Risto-Stevcev/bs-free π¦
Free monads for bucklescript
Language: OCaml - Size: 16.6 KB - Last synced at: about 17 hours ago - Pushed at: almost 7 years ago - Stars: 25 - Forks: 1
srghma/category-theory-bartosz-milewski-lecture-notes
Category theory for programmers lecture notes
Size: 145 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 23 - Forks: 6
burz/Feval
evaluation using f-algebras
Language: Haskell - Size: 360 KB - Last synced at: about 1 month ago - Pushed at: over 9 years ago - Stars: 23 - Forks: 3
sellout/haskerwaul
Category theory concepts in type classes and instances.
Language: Haskell - Size: 533 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 22 - Forks: 0
sellout/category-parametric-talk
Talks on category-parametric programming.
Language: Scala - Size: 1.44 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 22 - Forks: 2
jameshaydon/smproc
A well-typed symmetric-monoidal category of concurrent processes
Language: Idris - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 1
AdrielC/free-arrow
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Language: Scala - Size: 1.37 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 20 - Forks: 3
TOTBWF/cubical-categories
Category theory formalized in cubical agda
Language: Agda - Size: 37.1 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 20 - Forks: 0
philzook58/ad-lens
Automatic Differentiation using Pseudo Lenses. Neat.
Language: Haskell - Size: 50.8 KB - Last synced at: 28 days ago - Pushed at: over 5 years ago - Stars: 20 - Forks: 1
sellout/compiling-anything-to-categories
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
Language: Haskell - Size: 2.31 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 19 - Forks: 2
cando/Algar
Algebraic structures, higher-kinded types and other category theory bad ideas
Language: Rust - Size: 58.6 KB - Last synced at: 20 days ago - Pushed at: about 2 years ago - Stars: 19 - Forks: 0
nilern/monnit
Monads, functors etc. for Clojure(Script)
Language: Clojure - Size: 80.1 KB - Last synced at: 23 days ago - Pushed at: about 4 years ago - Stars: 19 - Forks: 0
rahulc29/realizability
Experiments with Realizability in Univalent Type Theory
Language: HTML - Size: 8.21 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 18 - Forks: 1
samuelsonric/AlgebraicInference.jl
Bayesian inference on wiring diagrams.
Language: Julia - Size: 1.77 MB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 1
vikraman/2DTypes
Collaborative work on reversible computing
Language: TeX - Size: 42.3 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 1
dimitris-papadimitriou-chr/FunctionalJsWithCategories
Functional Programming in Javascript with Categories
Language: JavaScript - Size: 4.4 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 2
jakebian/kan
Kan: A browser extension for reading nLab
Language: CSS - Size: 3.45 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 18 - Forks: 1
