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
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- ☆72Updated 7 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- 📚 A softer alternative to Haddock☆105Updated 4 years ago
- Example-based Haskell Documentation Engine☆59Updated 5 years ago
- Single-file example of a Haskell file server☆43Updated 8 years ago
- Simple plotting tool for the terminal☆86Updated last year
- Slides & demos for talks I do☆59Updated 4 years ago
- Test monadic programs using state machine based models☆202Updated 3 years ago
- Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit☆74Updated 8 years ago
- A more elegant specification for FRP☆24Updated last year
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated 2 weeks ago
- Dive into GHC☆82Updated 8 years ago
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- Rope data structure used by Yi☆19Updated 6 years ago
- Todobackend implementations in Haskell using various frameworks☆40Updated 2 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- A small and expressive dependently typed language☆129Updated 4 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
- Format strings type-safely with combinators☆166Updated 10 months ago
- 🐚 Out of the shell solution for scripting in Haskell☆71Updated 2 months ago
- Minimalistic Markdown viewer/converter with built-in Css stylesheets support.☆26Updated 7 years ago