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:
- ☆50Updated 5 years ago
- ☆44Updated 6 years ago
- ☆51Updated 3 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- 🏷 Web application to help beginners to start contributing into Haskell projects☆60Updated 4 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Comonads By Example Conference talk☆89Updated 6 years ago
- Moot is a CFP and event management system!☆66Updated 7 years ago
- ☆80Updated 6 years ago
- Course for learning how to apply property-based state-machine testing☆62Updated 6 years ago
- ☆28Updated 7 years ago
- ☆93Updated last year
- 💝 Haskell profiles to sponsor☆48Updated 4 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Updated 3 years ago
- Example of usage polysemy and servant☆57Updated 6 years ago
- First-class type families☆89Updated 2 weeks ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 4 months ago
- An example of an "isomorphic" Miso server set up with stack☆43Updated 5 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated 3 months ago
- ☆37Updated 7 years ago
- The MonadUnliftIO typeclass for unlifting monads to IO☆148Updated last month
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 7 years ago
- Haskell Webapps on AWS Lambda☆44Updated 2 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- Generic Programming using True Sums of Products☆163Updated 3 months ago
- Querying a rate-limited currency exchange API using Redis as a cache☆43Updated 5 years ago
- The Haskell Foundation website, hosted by GitHub Pages.☆41Updated this week
- Trying to get back all the stuff I had in JavaScript.☆69Updated 7 years ago
- Easy instructions for setting up Haskell editors / IDEs on any major operating system.☆101Updated last year