chrisdone-archive / sandboxLinks
Small random demonstrations of code
☆12Updated 6 years ago
Alternatives and similar repositories for sandbox
Users that are interested in sandbox are comparing it to the libraries listed below
Sorting:
- the dynabook but for haskell☆23Updated 6 years ago
- Deep evaluation of data structures☆43Updated 6 months ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated 6 months ago
- A natural transformation package☆16Updated 9 months ago
- Visualization of Haskell data structures☆16Updated last year
- Lens interface for your filesystem☆22Updated 5 years ago
- Reasonable Haskell default import☆27Updated 3 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆35Updated 10 months ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated 2 years ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 5 years ago
- Transactional cache with configurable persistence☆45Updated 2 years ago
- Spacemacs Layer for LiquidHaskell☆13Updated 8 years ago
- phantom types☆38Updated 2 weeks ago
- Web Development without programming☆45Updated 2 years ago
- Easy bidirectional serialization in Haskell☆49Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Auto-generate a server for your datatype☆30Updated 3 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- List monad transformer☆60Updated last year
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated last year
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- ☆21Updated 3 years ago
- Commonly useful extensions for the MMark markdown processor☆12Updated this week
- Haskell graphs and networks library☆31Updated 3 years ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- Slides and code examples for a talk☆22Updated 8 years ago
- Safe web routing in haskell☆30Updated 2 years ago