rpeszek / notes-milewski-ctfp-hsView external linksLinks
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
☆33Apr 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
- a little category theory in Idris☆10Jun 27, 2016Updated 9 years ago
- Datahub v2☆15Nov 18, 2025Updated 2 months 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
- The Labeled Effects Extension to PureScript☆21Oct 29, 2017Updated 8 years ago
- ☆22Dec 12, 2021Updated 4 years ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆27Jan 10, 2025Updated last year
- A wizard for generating new ZIO applications.☆20Jul 15, 2022Updated 3 years ago
- ZIO frontend for the Clover Group AI platform☆17Aug 12, 2019Updated 6 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Mar 13, 2022Updated 3 years ago
- ☆50Nov 4, 2019Updated 6 years ago
- ☆26Feb 24, 2023Updated 2 years ago
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- ZIO based smtp server☆22Nov 29, 2020Updated 5 years ago
- Modern library for working with URIs☆69Feb 3, 2026Updated 2 weeks ago
- ☆33Oct 3, 2020Updated 5 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
- Free Monad in Java☆29Feb 4, 2026Updated 2 weeks ago
- Get up and running with modifications to Gorilla Tag to enhance your experience. Reject humanity, return to monke.☆11Feb 24, 2025Updated 11 months ago
- ☆31Mar 5, 2022Updated 3 years ago
- A programming language for distributed applications☆36Jun 18, 2024Updated last year
- Architecture of the Haskell web applications☆312Apr 6, 2021Updated 4 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Jan 1, 2022Updated 4 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
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- File Permissions Plugin is a repository that provides a simple plugin to change file permissions directly from IntelliJ.☆10Apr 27, 2025Updated 9 months ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- The Evolution of a Scala Programmer☆33Jun 2, 2019Updated 6 years ago
- ☆12Dec 16, 2024Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Tweets randomly generated emoji aquarium strings, runnable in AWS Lambda. 🐠🐟🐡☆11Dec 28, 2018Updated 7 years ago