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
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Simple plotting tool for the terminal☆86Updated last year
- Slides & demos for talks I do☆58Updated 4 years ago
- A partial clone of 2D Star Dodge☆26Updated 9 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- Totally functional programming literature☆60Updated 6 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Dive into GHC☆82Updated 8 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit☆74Updated 8 years ago
- Difference lists in Haskell☆65Updated 10 months ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 9 years ago
- A more elegant specification for FRP☆24Updated last year
- Example-based Haskell Documentation Engine☆59Updated 5 years ago
- Haskell library for simple, concise and fast generic operations.☆80Updated last year
- A book about large-scale design in Haskell☆75Updated 10 years ago
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated this week
- ☆38Updated 7 years ago
- a simple functional language for learners☆30Updated 8 years ago
- ☆94Updated 8 years ago
- ☆41Updated 7 years ago
- ☆63Updated 6 years ago