Apress / practical-haskell-3e
Source Code for 'Practical Haskell, 3rd Edition' by Alejandro Serrano Mena
☆12Updated 2 years ago
Alternatives and similar repositories for practical-haskell-3e:
Users that are interested in practical-haskell-3e are comparing it to the libraries listed below
- Awesome Agda Programming☆16Updated 4 years ago
- Haskell high Performance Programming, published by Packt☆43Updated 2 years ago
- Source material for Certainty by Construction☆41Updated last year
- The Iowa Agda Library☆47Updated 3 months ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- ☆16Updated 4 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- Source Code for 'Practical Haskell' by Alejandro Serrano Mena☆47Updated 5 years ago
- An interpreter for the (made up) k programming language all done in Haskell☆8Updated last year
- A haskell tutorial using CodeWorld☆18Updated 2 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆89Updated last month
- Seamlessly deploy your existing Wai application on AWS Lambda.☆13Updated 2 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- Session types framework with support of protocol pipelining.☆16Updated last week
- Supplementary code for Type Classes projects☆25Updated 5 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 4 years ago
- Code bundle for "Haskell Design Patterns" book☆18Updated 9 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 5 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- ☆28Updated 6 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- ☆51Updated 2 years ago
- Text generation language☆33Updated 3 weeks ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated last week
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.☆23Updated 5 years ago
- Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018☆19Updated 6 years ago