chrisdone-archive / sandbox
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
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- A text editor zipper libary☆17Updated 4 months ago
- Make presentations for data types☆25Updated 3 years ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- Visualization of Haskell data structures☆15Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Safe web routing in haskell☆30Updated last year
- Lens interface for your filesystem☆22Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 5 months ago
- An experiment in functional interface design☆23Updated 8 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Fast ByteString Builder☆21Updated 2 weeks ago
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- phantom types☆38Updated last month
- the dynabook but for haskell☆23Updated 5 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Free categories, free arrows and free categories with monadic actions☆24Updated last week
- Haskell bindings to the Bittrex cryptocurrency exchange☆23Updated 3 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- ☆24Updated 8 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Slides and code examples for a talk☆22Updated 7 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- A monad for managed values☆51Updated 2 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- Transactional cache with configurable persistence☆46Updated last year
- An implementation of algebraic graphs in PureScript☆19Updated 2 years ago
- higher-kinded data☆30Updated last year