ku-fpg / haskino-examples
Haskino Examples
☆22Updated 2 years ago
Alternatives and similar repositories for haskino-examples:
Users that are interested in haskino-examples are comparing it to the libraries listed below
- Demonstrating comonad transformers.☆36Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- Dual Traversable☆42Updated last year
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- Classes for types where we know all the values☆39Updated 2 months ago
- ☆45Updated 3 years ago
- Quickcheck Properties for common typeclasses☆35Updated last week
- Paris Functional Programming Meetup☆27Updated 4 years ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 3 years ago
- Universal build and CI testing for Haskell packages☆92Updated 2 weeks ago
- A more flexible mtl☆64Updated 7 years ago
- Monadic capabilities with late binding☆28Updated last year
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Text-based interactive GHC .prof viewer☆48Updated last year
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- The Str signature and implementations☆21Updated 7 years ago
- ☆39Updated 7 years ago
- A servant client written for GHCJS☆12Updated 8 years ago
- Wailing into the primordial ooze of category theory☆55Updated 3 months ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Type-safe open unions in Haskell☆31Updated 6 years ago
- ☆67Updated last year
- Reasonable Haskell default import☆27Updated 2 years ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago