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
- the dynabook but for haskell☆23Updated 6 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated last year
- Spacemacs Layer for LiquidHaskell☆13Updated 8 years ago
- Visualization of Haskell data structures☆16Updated last year
- Deep evaluation of data structures☆43Updated 3 months ago
- ☆25Updated 2 years ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Cursor data and manipulation☆22Updated 4 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- A natural transformation package☆16Updated 7 months ago
- Commonly useful extensions for the MMark markdown processor☆11Updated last week
- ☆15Updated 7 years ago
- The most complete prelude formed only from the "base" package☆29Updated 2 years ago
- A monad for managed values☆51Updated 2 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 6 years ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- Zippers based on lenses and traversals☆40Updated 2 years ago
- Web Development without programming☆45Updated 2 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated 4 months ago
- Slides and code examples for a talk☆22Updated 7 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆35Updated 8 months ago
- phantom types☆38Updated last week
- Safe web routing in haskell☆30Updated 2 years ago
- Reasonable Haskell default import☆27Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 9 months ago
- Core modules for a blazing fast markup combinator library☆22Updated 4 months ago