Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell category theory
category-theory
x
haskell
x
41 search results found
Milewski Ctfp Pdf
⭐
10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Ltupatternfactory
⭐
958
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Category Theory Programmers
⭐
452
Category theory in the context of (functional) programming
Fp Resources
⭐
350
Functional programming great resources
Lawvere
⭐
222
A categorical programming language with effects
Rzk
⭐
180
An experimental proof assistant based on a type theory for synthetic ∞-categories.
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
Haskell_study
⭐
157
Collections of papers and books about Haskell, Type Theory and Category Theory
Cql
⭐
117
CQL: Categorical Query Language implementation in Haskell
Awesome Open Science
⭐
114
some links to projects/tools related to "open science".
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
Category Theory For Programmers Challenges
⭐
94
Challenges from Category Theory for Programmers
Data Category
⭐
53
Library of categories, with categorical constructions on them
Categorifier
⭐
48
Interpret Haskell programs into any cartesian closed category.
Verigraph
⭐
27
Software specification and verification system based on graph rewriting
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)
Notes Milewski Ctfp Hs
⭐
22
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Cs43
⭐
22
Course materials for Stanford's CS43: Functional Programming Paradigms
Feval
⭐
22
evaluation using f-algebras
Category Theory For Programmers
⭐
21
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
Functional Programming From Scratch Ja
⭐
20
関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説!〜 圏論からFRPの構築まで
Constrained Categories
⭐
19
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Natural Transformation
⭐
16
A natural transformation package
Haskerwaul
⭐
16
Category theory concepts in type classes and instances.
Ad Lens
⭐
15
Automatic Differentiation using Pseudo Lenses. Neat.
Tymfgg Pearl
⭐
14
Type Your Matrices For Great Good
Cifl Math Library
⭐
12
Basic mathematics library
Acme Cofunctor
⭐
12
A Cofunctor is a structure from category theory dual to Functor
Representable Functors
⭐
9
representable functors
Abel
⭐
8
Category theory applied to functional programming
Split Morphism
⭐
8
➰ Split Morphisms
Representable Tries
⭐
7
representable tries
Discokitty
⭐
7
An educational implementation of some aspects of the DisCoCat framework
Bookmarks
⭐
7
A selection of the links I find interesting over time. Updated on a regular basis.
Categorias_y_programacion
⭐
7
Bibliografía sobre teoría de categorías y programación funcional
Yul Dsl Monorepo
⭐
6
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
Cats
⭐
6
Musings on category theory
Filterable
⭐
5
A simple account of "filterability" using category theory
Functional Java
⭐
5
Functional programming style in Java
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-41 of 41 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.