chiroptical / thinking-with-typesLinks
Working through the Thinking with Types book in Haskell
☆34Updated 5 years ago
Alternatives and similar repositories for thinking-with-types
Users that are interested in thinking-with-types are comparing it to the libraries listed below
Sorting:
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- ☆44Updated 6 years ago
- ☆50Updated 5 years ago
- The Haskell Foundation website, hosted by GitHub Pages.☆41Updated this week
- Source material for Certainty by Construction☆45Updated last year
- 🏷 Web application to help beginners to start contributing into Haskell projects☆59Updated 4 years ago
- ☆51Updated 3 years ago
- Comonads By Example Conference talk☆89Updated 6 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆84Updated 3 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 3 months ago
- First-class type families☆88Updated 2 months ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- ☆37Updated 7 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- Example of usage polysemy and servant☆57Updated 6 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆53Updated 6 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Updated 3 years ago
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated 2 years ago
- Course for learning how to apply property-based state-machine testing☆62Updated 6 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Easy instructions for setting up Haskell editors / IDEs on any major operating system.☆101Updated last year
- Haskell Webapps on AWS Lambda☆44Updated 2 years ago
- ️🌈 Convenient interface for printing colourful messages☆70Updated 2 weeks ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- ☆93Updated last year
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆70Updated last week
- Benchmarks to compare Haskell streaming library performance☆106Updated last month
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 3 years ago