skaslev / why-typesLinks
Why Types Matter
☆45Updated 8 years ago
Alternatives and similar repositories for why-types
Users that are interested in why-types are comparing it to the libraries listed below
Sorting:
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- A workspace for research teams☆105Updated 5 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 9 years ago
- Slides & demos for talks I do☆58Updated 5 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- Dive into GHC☆82Updated 8 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- ☆41Updated 8 years ago
- Single-file example of a Haskell file server☆44Updated 9 years ago
- Example-based Haskell Documentation Engine☆59Updated 6 years ago
- A magic typeclass that just does it☆124Updated 3 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Updated 7 years ago
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- Minimalistic Markdown viewer/converter with built-in Css stylesheets support.☆26Updated 8 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Example uses of monads☆43Updated 6 years ago
- A more elegant specification for FRP☆24Updated last year
- Evaluate special comments in your program on file save.☆39Updated 4 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Free book for learning Haskell☆48Updated 3 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- Search Haskell source code from the command line☆75Updated 5 years ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- ☆63Updated 7 years ago
- Unicode alternatives for common functions and operators☆36Updated 3 years ago