takenobu-hs / type-introduction-illustrated
Haskell type introduction illustrated
☆17Updated 7 years ago
Alternatives and similar repositories for type-introduction-illustrated:
Users that are interested in type-introduction-illustrated are comparing it to the libraries listed below
- ☆23Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- List monad transformer☆60Updated 10 months ago
- Auto-generate a server for your datatype☆30Updated 2 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 7 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Spawn threads that never die (unless told to do so)☆37Updated 6 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 2 months ago
- A Purescript implementation of Elm's `core` library☆30Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- ☆27Updated last month
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Structured logging solution.☆35Updated last week
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- phantom types☆38Updated last month
- An implementation of GraphQL in Haskell.☆21Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- A library simplifying user management for Haskell web applications☆51Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Haskell types and parsers for software version numbers.☆20Updated last month
- LibSSH2 FFI bindings for Haskell☆26Updated last month
- Tagged Haskell learning resources index☆21Updated 8 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Tools for programming with ConstraintKinds in GHC☆72Updated 5 months ago
- A monad for managed values☆50Updated 2 years ago