chrisdone-archive / sandboxLinks
Small random demonstrations of code
☆12Updated 5 years ago
Alternatives and similar repositories for sandbox
Users that are interested in sandbox are comparing it to the libraries listed below
Sorting:
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Slides and code examples for a talk☆22Updated 7 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- A natural transformation package☆16Updated 6 months ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Zippers based on lenses and traversals☆40Updated 2 years ago
- Agda-style equational reasoning in Haskell☆54Updated 5 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- ☆15Updated 7 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- phantom types☆38Updated 7 months ago
- Visualization of Haskell data structures☆16Updated last year
- Transactional cache with configurable persistence☆46Updated 2 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- A toy implementation of Haxl to illustrate the internals☆22Updated 8 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 5 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 11 months ago
- Commonly useful extensions for the MMark markdown processor☆11Updated last month
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Reasonable Haskell default import☆27Updated 3 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- Morte IDE☆29Updated 5 months ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago