GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → rpeszek → notes-milewski-ctfp-hs

rpeszek / notes-milewski-ctfp-hs

Licence: BSD-3-Clause license
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

Programming Languages

haskell
3896 projects

Labels

functional-programmingcategory-theorywiki-pagebook-notes

Projects that are alternatives of or similar to notes-milewski-ctfp-hs

Quiver
A modern commutative diagram editor for the web.
Stars: ✭ 1,799 (+5521.88%)
Mutual labels:  category-theory
Fstoolkit.errorhandling
An opinionated F# Library for error handling
Stars: ✭ 200 (+525%)
Mutual labels:  category-theory
functional-structures-refactoring-kata
Starting code and proposed solution for Functional Structures Refactoring Kata
Stars: ✭ 31 (-3.12%)
Mutual labels:  category-theory
Cql
CQL: Categorical Query Language implementation in Haskell
Stars: ✭ 132 (+312.5%)
Mutual labels:  category-theory
Functional Examples
Examples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (+459.38%)
Mutual labels:  category-theory
Idris Ct
formally verified category theory library
Stars: ✭ 203 (+534.38%)
Mutual labels:  category-theory
Foundational Knowledge For Programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Stars: ✭ 115 (+259.38%)
Mutual labels:  category-theory
ng-forum
🌍 Meet Developers around the Globe
Stars: ✭ 43 (+34.38%)
Mutual labels:  wiki-page
Cql
Categorical Query Language IDE
Stars: ✭ 196 (+512.5%)
Mutual labels:  category-theory
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Stars: ✭ 14 (-56.25%)
Mutual labels:  category-theory
Categories
Categories parametrized by morphism equality, in Agda
Stars: ✭ 141 (+340.63%)
Mutual labels:  category-theory
Discopy
a toolbox for computing with monoidal categories
Stars: ✭ 148 (+362.5%)
Mutual labels:  category-theory
Every Single Day I Tldr
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Stars: ✭ 249 (+678.13%)
Mutual labels:  category-theory
Naive functional programming
A naive approach to functional programming using TypeScript
Stars: ✭ 129 (+303.13%)
Mutual labels:  category-theory
pysploit-framework
free exploit framework written use python language version 3.3
Stars: ✭ 33 (+3.13%)
Mutual labels:  wiki-page
Domains
A computational algebra system in Smalltalk.
Stars: ✭ 124 (+287.5%)
Mutual labels:  category-theory
Bastet
A ReasonML/Ocaml library for category theory and abstract algebra
Stars: ✭ 200 (+525%)
Mutual labels:  category-theory
awesome-reading
Notes from some books that I've read.
Stars: ✭ 43 (+34.38%)
Mutual labels:  book-notes
hamcat
Category Theory for Programmers の勉強記録
Stars: ✭ 13 (-59.37%)
Mutual labels:  category-theory
monadic-mondays
Code samples for #monadicmonday topics
Stars: ✭ 86 (+168.75%)
Mutual labels:  category-theory
View All Similar Projects ➔

notes-milewski-ctfp-hs

I am rereading Bartosz Milewski's excellent book Category Theory for Programmers.

This project will contain code examples and (incomplete but focused) notes from reading this book in (mostly) literate Haskell. The lhs files are converted to markdown and published as as wiki pages (see this project wiki link).

This is very much work in progress, but first wiki page is ready for viewing.

go to this project wiki

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].