Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
☆34Apr 21, 2019Updated 6 years ago
Alternatives and similar repositories for notes-milewski-ctfp-hs
Users that are interested in notes-milewski-ctfp-hs are comparing it to the libraries listed below
Sorting:
- Finished Book of Monads by Alejandro Serrano-Mena☆27May 1, 2020Updated 5 years ago
- To Mock a Mockingbird, formalized in Coq☆11Mar 9, 2016Updated 10 years ago
- Honors Thesis Summer/Fall 2015☆11Nov 18, 2018Updated 7 years ago
- Category theory concepts in type classes and instances.☆23Feb 12, 2026Updated 3 weeks ago
- A simple web server for serving directories.☆16Dec 27, 2024Updated last year
- slides and examples from talks☆19Jun 14, 2018Updated 7 years ago
- Experimenting with React, fp-ts, ReaderTaskEither, etc.☆19Jan 20, 2021Updated 5 years ago
- A small example of using mtl style to unit test effectful code☆107Oct 29, 2017Updated 8 years ago
- Data store(s) for purescript applications. Use your own DSL to update the global state.☆19Oct 7, 2018Updated 7 years ago
- ☆22Dec 12, 2021Updated 4 years ago
- Logging library to provide more convenient, extremely configurable but simple monadic interface with pretty output☆18Mar 4, 2020Updated 6 years ago
- The Labeled Effects Extension to PureScript☆21Oct 29, 2017Updated 8 years ago
- A wizard for generating new ZIO applications.☆20Jul 15, 2022Updated 3 years ago
- ☆26Feb 24, 2023Updated 3 years ago
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- ☆33Oct 3, 2020Updated 5 years ago
- Notes from Category Theory for Programmers lessons by Bartosz Milewski☆29Sep 15, 2017Updated 8 years ago
- Raft distributed consensus protocol (Haskell library)☆27Jun 6, 2019Updated 6 years ago
- HLint as a GHC source plugin.☆31Jul 8, 2024Updated last year
- ☆31Mar 5, 2022Updated 4 years ago
- 🚣 Smuggle all imports☆71May 2, 2020Updated 5 years ago
- A programming language for distributed applications☆36Jun 18, 2024Updated last year
- Digma JetBrains plugin☆38Aug 19, 2025Updated 6 months ago
- Architecture of the Haskell web applications☆312Apr 6, 2021Updated 4 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- OTP-like supervision trees in Haskell☆62May 21, 2019Updated 6 years ago
- Eff monad for cats - https://atnos-org.github.io/eff☆588Updated this week
- 文件上传，图片上传(后缀名验证，文件类型验证)，大文件分片上传，“秒传”，断点续传，传输失败自动重试，手动重试☆10Apr 14, 2018Updated 7 years ago
- ☆12Dec 16, 2024Updated last year
- Tweets randomly generated emoji aquarium strings, runnable in AWS Lambda. 🐠🐟🐡☆11Dec 28, 2018Updated 7 years ago
- deep learning course materials☆15Jun 24, 2020Updated 5 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Deploy and manage containerized Liberty applications on Kubernetes. Documentation: https://ibm.biz/wlo-docs☆12Updated this week
- The Evolution of a Scala Programmer☆32Jun 2, 2019Updated 6 years ago
- Samsung Galaxy Note 4 - N910C/H Device tree☆11Jan 1, 2023Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- File Permissions Plugin is a repository that provides a simple plugin to change file permissions directly from IntelliJ.☆10Apr 27, 2025Updated 10 months ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆47Nov 16, 2022Updated 3 years ago
- Comonads By Example Conference talk☆90Aug 6, 2019Updated 6 years ago