Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Category Theory Open Source Projects

Open source projects categorized as Haskell Category Theory
Categories > Mathematics > Category Theory
Milewski Ctfp Pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Ltupatternfactory ⭐ 958
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
most recent commit 8 months ago
Category Theory Programmers ⭐ 452
Category theory in the context of (functional) programming
most recent commit 6 years ago
Fp Resources ⭐ 350
Functional programming great resources
most recent commit 4 years ago
Lawvere ⭐ 222
A categorical programming language with effects
most recent commit a year ago
Rzk ⭐ 180
An experimental proof assistant based on a type theory for synthetic ∞-categories.
total releases 22most recent commit 21 days ago
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
most recent commit 3 years ago
Haskell_study ⭐ 157
Collections of papers and books about Haskell, Type Theory and Category Theory
most recent commit 3 years ago
Cql ⭐ 117
CQL: Categorical Query Language implementation in Haskell
most recent commit 4 years ago
Awesome Open Science ⭐ 114
some links to projects/tools related to "open science".
most recent commit 6 years ago
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.
most recent commit 2 years ago
Compositional_deep_learning ⭐ 106
Deep learning via category theory and functional programming
most recent commit 4 years ago
Category Theory For Programmers Challenges ⭐ 94
Challenges from Category Theory for Programmers
most recent commit 2 years ago
Data Category ⭐ 53
Library of categories, with categorical constructions on them
total releases 29most recent commit 8 months ago
Categorifier ⭐ 48
Interpret Haskell programs into any cartesian closed category.
most recent commit 3 months ago
Verigraph ⭐ 27
Software specification and verification system based on graph rewriting
most recent commit 5 years ago
Free Functors ⭐ 23
Provides free functors that are adjoint to functors that forget class constraints.
total releases 31most recent commit 3 years ago
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
most recent commit 5 years ago
Notes Milewski Ctfp Hs ⭐ 22
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
most recent commit 5 years ago
Cs43 ⭐ 22
Course materials for Stanford's CS43: Functional Programming Paradigms
most recent commit 4 years ago
Feval ⭐ 22
evaluation using f-algebras
total releases 2most recent commit 9 years ago
Category Theory For Programmers ⭐ 21
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
most recent commit 2 years ago
Functional Programming From Scratch Ja ⭐ 20
関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説！〜 圏論からFRPの構築まで
most recent commit 6 months ago
The 10 Latest Releases In Haskell Category Theory Open Source Projects
Rzk ⭐ 180
An experimental proof assistant based on a type theory for synthetic ∞-categories.
total releases 22latest release October 07, 2023most recent commit 21 days ago
Data Category ⭐ 53
Library of categories, with categorical constructions on them
total releases 29latest release March 27, 2023most recent commit 8 months ago
Split Morphism ⭐ 8
:curly_loop: Split Morphisms
latest release September 11, 2019most recent commit 4 years ago
Free Functors ⭐ 23
Provides free functors that are adjoint to functors that forget class constraints.
total releases 31latest release September 25, 2018most recent commit 3 years ago
Feval ⭐ 22
evaluation using f-algebras
total releases 2latest release October 09, 2017most recent commit 9 years ago
Acme Cofunctor ⭐ 12
A Cofunctor is a structure from category theory dual to Functor
total releases 2latest release May 13, 2017most recent commit 6 years ago
Natural Transformation ⭐ 16
A natural transformation package
total releases 5latest release November 15, 2016most recent commit 7 months ago
Representable Tries ⭐ 7
representable tries
total releases 37latest release January 26, 2015most recent commit 9 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.