chrisdone-archive / sandbox
Small random demonstrations of code
☆12Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for sandbox
- Lens interface for your filesystem☆22Updated 3 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Safe web routing in haskell☆30Updated last year
- Commonly useful extensions for the MMark markdown processor☆10Updated 2 weeks ago
- Make presentations for data types☆25Updated 3 years ago
- Visualization of Haskell data structures☆14Updated 9 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Dependently Typed Extensible Records with Prototypal Inheritance☆9Updated 9 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- ☆21Updated last year
- A text editor zipper libary☆17Updated last week
- higher-kinded data☆30Updated last year
- Library to integrate eta wai applications with servlet api☆18Updated 5 years ago
- Purescript bindings for the Ace editor☆19Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated this week
- ☆24Updated last year
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Provides free functors that are adjoint to functors that forget class constraints.☆27Updated 2 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A library for applying a row of rules for validation to refine a value☆12Updated 6 years ago
- Basic examples and functions for generics-sop☆20Updated last year
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- phantom types☆37Updated 2 months ago