Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for category theory
category-theory
x
184 search results found
Milewski Ctfp Pdf
⭐
10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Plt
⭐
5,018
Programming Language Theory λΠ
Books
⭐
4,970
Awesome Books
Unplugged
⭐
2,821
Open book about math and programming.
Quiver
⭐
2,246
A modern commutative diagram editor for the web.
Tikzcd Editor
⭐
1,364
A simple visual editor for creating commutative diagrams.
Ltupatternfactory
⭐
958
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Category_theory_machine_learning
⭐
921
List of papers studying machine learning through the lens of category theory
Category Theory
⭐
720
An axiom-free formalization of category theory in Coq for personal study and practical work
Fp Core.rs
⭐
644
A library for functional programming in Rust
Bow
⭐
643
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Catlab.jl
⭐
563
A framework for applied category theory in the Julia language
Category Theory Resources
⭐
491
Resources for learning Category Theory for an enthusiast
Category Theory Programmers
⭐
452
Category theory in the context of (functional) programming
Fluokitten
⭐
450
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Zio Prelude
⭐
430
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Mirth
⭐
426
Compiler for the Mirth programming language.
Fstoolkit.errorhandling
⭐
420
An opinionated F# Library for error handling
Awesome Applied Ct
⭐
416
ACT community resources
Category Theory For Programmers
⭐
381
e-book version of Bartosz Milewski's Category Theory for Programmers
Scala_typeclassopedia
⭐
374
Abstractions from Category theory with simple description & implementation, links to further resources.
Fp Resources
⭐
350
Functional programming great resources
Typedefs
⭐
343
Programming language agnostic type construction language based on polynomials.
Agda Categories
⭐
341
A new Categories library for Agda
Discopy
⭐
316
The Python toolkit for computing with string diagrams.
Every Single Day I Tldr
⭐
311
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Cql
⭐
285
Categorical Query Language IDE
Lawvere
⭐
222
A categorical programming language with effects
Bastet
⭐
212
A ReasonML/Ocaml library for category theory and abstract algebra
Agda Unimath
⭐
196
The agda-unimath library
Purescript Presto
⭐
191
Write Apps like Mathematical Equations!
Rzk
⭐
180
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Functional Examples
⭐
179
Examples with Functional JavaScript, following Professor Frisby's course
Idris Ct
⭐
179
formally verified category theory library
Category Theory For Dotnet Programmers
⭐
167
This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fsharp
Tensorkit.jl
⭐
158
A Julia package for large-scale tensor computations, with a hint of category theory
Haskell_study
⭐
157
Collections of papers and books about Haskell, Type Theory and Category Theory
Adjoint
⭐
144
Thoughts on adjoint, norm and such.
Categories
⭐
134
Categories parametrized by morphism equality, in Agda
Neurocat
⭐
130
From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types
Preface
⭐
130
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Naive_functional_programming
⭐
129
A naive approach to functional programming using TypeScript
Categorytheory
⭐
118
[번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)
Cql
⭐
117
CQL: Categorical Query Language implementation in Haskell
Awesome Open Science
⭐
114
some links to projects/tools related to "open science".
Foundational Knowledge For Programmers
⭐
112
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Fundamental Haskell
⭐
110
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.
Compositional_deep_learning
⭐
106
Deep learning via category theory and functional programming
Tutorial Cat
⭐
104
Workshop Pragmatic Introduction to Category Theory
Functors.jl
⭐
98
Parameterise all the things
Lsts
⭐
96
A proof assistant that is also a programming language.
Functional
⭐
96
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Category Theory For Programmers Challenges
⭐
94
Challenges from Category Theory for Programmers
Ocaml Ctfp
⭐
89
OCaml version of Category Theory For Programmers
Category Theory For Programmers.kt
⭐
88
Kotlin sample code for Bartosz Milewski's CT for Programmers
Semagrams.jl
⭐
81
A graphical editor for graph-like structures
The Mlab
⭐
64
A wiki for collaborative work on totally legitimate "category theory"
Lftcm2020
⭐
63
Lean for the Curious Mathematician 2020
Monadic Mondays
⭐
60
Code samples for #monadicmonday topics
Ctrs
⭐
60
Category Theory For Programmers (Bartosz Milewski)
Bewl
⭐
55
A DSL for the internal language of a topos
Homotopy Rs
⭐
54
A Rust/WASM implementation of homotopy.io
Data Category
⭐
53
Library of categories, with categorical constructions on them
Forest
⭐
53
My mathematical Zettelkasten, created using forester.
Book
⭐
52
The category theory by example book
Caterwaul
⭐
51
Wailing into the primordial ooze of category theory
Category Theory Notes
⭐
49
Notes on Category Theory For Programmers by Bartosz Milewski
Categorifier
⭐
48
Interpret Haskell programs into any cartesian closed category.
Directsum.jl
⭐
48
Tangent bundle, vector space and Submanifold definition
Catscheatsheet
⭐
47
This project is to contain a listing of common theorems in elementary category theory.
Cat
⭐
46
A formalization of category theory in cubical Agda
Lean Category Theory
⭐
46
An experimental category theory library for Lean
Purescript Ctprelude
⭐
46
A Prelude with names from category theory
Aluffi
⭐
45
Solutions to Paolo Aluffi's "Algebra: Chapter 0".
Letsgo
⭐
45
Examples of the most important features of this languages.
Algebraicrelations.jl
⭐
44
Relational Algebra, now with more algebra!
Abstracttensors.jl
⭐
42
Tensor algebra abstract type interoperability setup
Meow
⭐
39
Catless Category Theory in Dotty/Scala 3 meow ~
Jsx Tikzcd
⭐
36
Render tikzcd diagrams with JSX.
Kotlinz
⭐
35
Functional programming in Kotlin
Fsm Oracle
⭐
34
Finite state machines as graphs
Applied Category Theory
⭐
31
GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
Functional Structures Refactoring Kata
⭐
28
Starting code and proposed solution for Functional Structures Refactoring Kata
C3t
⭐
27
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
Verigraph
⭐
27
Software specification and verification system based on graph rewriting
Opycleid
⭐
27
Opycleid - A Python package for transformational music theory
Cateno
⭐
26
A system for computational category theory and applications
Commutative Diagrams
⭐
26
CoDi: Commutative Diagrams for TeX
Bow Lite
⭐
26
🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift
Advanced Functional Resources
⭐
24
Homotopy
⭐
24
My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
Fp Dictionary
⭐
24
FP category theory jargon explained on a single A4 page
Ikan
⭐
24
build tool and package manager for idris,in idris,with free monads
Free Functors
⭐
23
Provides free functors that are adjoint to functors that forget class constraints.
Cain
⭐
23
Category theory applied to functional programming (undergraduate project)
Ctlc
⭐
23
(λ) Category theory and lambda calculus, Bachelor's thesis
Fp4ts
⭐
23
Zero-dependency, purely functional library for effectful programming in Typescript
Category Parametric Talk
⭐
22
Talks on category-parametric programming.
Notes Milewski Ctfp Hs
⭐
22
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Feval
⭐
22
evaluation using f-algebras
1-100 of 184 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.