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☆104Updated 5 years ago
- A more elegant specification for FRP☆24Updated last year
- Convert between pointfree and pointful Haskell expressions.☆49Updated 9 years ago
- Example-based Haskell Documentation Engine☆59Updated 6 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Programming in Haskell Materials - Footnotes and Tutorials☆25Updated 7 years ago
- Dive into GHC☆82Updated 8 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Updated 7 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- ☆72Updated 7 years ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- Yet another Haskell build system.☆115Updated 4 years ago
- List monad transformer☆60Updated last year
- A magic typeclass that just does it☆124Updated 2 years ago
- Difference lists in Haskell☆65Updated 11 months ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- Type definitions and standard effect for interacting with the DOM☆41Updated 4 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 8 months ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- ☆41Updated 7 years ago
- ☆33Updated 9 years ago
- Lambdabot for Slack☆20Updated 8 years ago
- A partial clone of 2D Star Dodge☆26Updated 9 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 5 years ago
- Simple plotting tool for the terminal☆86Updated last year