chrisdone-archive / sandbox
Small random demonstrations of code
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for sandbox
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Backpack examples repository☆15Updated 7 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Commonly useful extensions for the MMark markdown processor☆10Updated this week
- An experiment in functional interface design☆23Updated 8 years ago
- Library to integrate eta wai applications with servlet api☆18Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Lens interface for your filesystem☆22Updated 3 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Safe web routing in haskell☆30Updated last year
- ☆15Updated 6 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- Visualization of Haskell data structures☆14Updated 8 months ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- A natural transformation package☆16Updated 2 weeks ago
- Zippers based on lenses and traversals☆38Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Derive a mock server for free from your servant API types☆19Updated last year
- fast clustering algorithms☆15Updated 5 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Make presentations for data types☆25Updated 3 years ago
- Purescript bindings for the Ace editor☆19Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Dependently Typed Extensible Records with Prototypal Inheritance☆9Updated 9 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month