haskell-works / hw-koansLinks
☆14Updated 5 months ago
Alternatives and similar repositories for hw-koans
Users that are interested in hw-koans are comparing it to the libraries listed below
Sorting:
- Presentations on Liquid Haskell, type theory, and more☆45Updated 9 months ago
- A data-type like Either but with an accumulating Applicative☆100Updated 2 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Dive into Haskell: Examples of all features of this Pure Functional programing language☆69Updated 2 years ago
- ♾️ Sized list☆46Updated last year
- Simple Haskell http framework☆87Updated 6 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆47Updated 9 years ago
- ☆78Updated 11 months ago
- Haskell + Azure DevOps Demo☆30Updated 4 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Community curated list of companies that use Purescript☆142Updated 8 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 7 years ago
- ☆49Updated 7 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 5 years ago
- Crossing the road between Haskell and Elm☆89Updated 3 months ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆95Updated 5 years ago
- YesQL-style SQL database abstraction.☆27Updated 4 years ago
- ☆71Updated 7 years ago
- Exercises from the readers of the Haskell Book☆55Updated 6 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Js libraries for idris☆49Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- ☆38Updated 7 years ago
- A functional web framework☆34Updated 3 years ago
- TodoMVC with purescript-react-basic☆55Updated 2 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆98Updated 3 years ago