skaslev / why-types
Why Types Matter
☆45Updated 7 years ago
Alternatives and similar repositories for why-types:
Users that are interested in why-types are comparing it to the libraries listed below
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- A workspace for research teams☆105Updated 5 years ago
- Example-based Haskell Documentation Engine☆59Updated 5 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- A more elegant specification for FRP☆24Updated last year
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- A partial clone of 2D Star Dodge☆26Updated 9 years ago
- ☆72Updated 7 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated last month
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Difference lists in Haskell☆65Updated 7 months ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Haskell command line text stream processor☆87Updated 5 years ago
- List monad transformer☆60Updated 9 months ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- Simple plotting tool for the terminal☆86Updated last year
- A magic typeclass that just does it☆124Updated 2 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- gallery of themes for hakyll static site generator☆85Updated 5 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 4 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 4 months ago
- Slides & demos for talks I do☆59Updated 4 years ago
- Programming in Haskell Materials - Footnotes and Tutorials☆25Updated 7 years ago
- Minimalistic Markdown viewer/converter with built-in Css stylesheets support.☆26Updated 7 years ago
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- Typed filepath☆124Updated last month