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:
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Reification of data structures using observable sharing☆29Updated 7 months ago
- Visualization of Haskell data structures☆16Updated last year
- Make presentations for data types☆25Updated 3 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- A natural transformation package☆16Updated 3 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Backpack examples repository☆14Updated 7 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Reasonable Haskell default import☆27Updated 2 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 7 months ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- Non-empty Vectors☆24Updated last month
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Bring fusion to everyone☆13Updated 5 years ago
- Dependently Typed Extensible Records with Prototypal Inheritance☆9Updated 10 years ago
- An applicative monad that batches commands for later more efficient execution☆27Updated 7 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 9 months ago
- Purescript bindings for the Ace editor☆19Updated 2 years ago
- A monadic interface for DAG construction.☆24Updated 4 years ago
- Types for the least and greatest fixed points of functors.☆15Updated 3 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago