dnadales / sandboxLinks
Damian Nadales's sandbox
☆12Updated 2 years ago
Alternatives and similar repositories for sandbox
Users that are interested in sandbox are comparing it to the libraries listed below
Sorting:
- Comment on Haskell documentation.☆13Updated 6 years ago
- A Generic implementation of data-has.☆22Updated 5 years ago
- Create environments with GHC HEAD artefacts☆26Updated 2 years ago
- 📤 defer instance resolution until runtime☆18Updated 6 years ago
- ☆13Updated 5 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 5 months ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 3 years ago
- Library and tool for parsing .eventlog files from GHC☆37Updated 2 weeks ago
- Generic types and functions for encoding and decoding columns☆44Updated last year
- 🌳 a monadic FRP game library for haskell☆25Updated 5 years ago
- Sort any Traversable container☆42Updated 3 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 3 months ago
- ☆36Updated 4 years ago
- First-class type families☆90Updated 3 months ago
- ☆38Updated last month
- A tiny EDSL to write type-level-unit tests☆51Updated 7 years ago
- A library for generic programming that aims to be easy to understand☆26Updated last month
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated last month
- Haskell Enforcer of user specified code standards☆22Updated this week
- There are many category theory implementations, but this one is mine☆16Updated last year
- Sum and Product types and such☆29Updated 5 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 3 months ago
- Build AWS Lambda's with Haskell☆11Updated 3 years ago
- Type-safe error handling☆64Updated 2 years ago
- Functions and newtype wrappers for traversing Trees☆30Updated last year
- A GHC plugin and library for analysing GHC Core☆54Updated last year
- ☆29Updated 6 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 3 weeks ago
- ZuriHac registration system☆23Updated last week
- Dependently typed convolutional neural networks☆35Updated 8 years ago