Small random demonstrations of code
☆12Nov 19, 2019Updated 6 years ago
Alternatives and similar repositories for sandbox
Users that are interested in sandbox are comparing it to the libraries listed below
Sorting:
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated last month
- Prints lines with IDE friendly stack traces in Haskell.☆12Sep 12, 2019Updated 6 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- FRP library☆63Mar 25, 2018Updated 7 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 6 years ago
- covid-19 data in J☆16Dec 14, 2021Updated 4 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- type level sets☆67Nov 19, 2019Updated 6 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- ☆20Apr 17, 2023Updated 2 years ago
- Bindings for Facebook's API.☆48Dec 21, 2016Updated 9 years ago
- Haskell suite library for name resolution☆53Apr 9, 2025Updated 10 months ago
- Implements a graphical haskell debugger in atom, using ghci☆21Jun 30, 2018Updated 7 years ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆25Jan 18, 2025Updated last year
- A maintenance command of Haskell cabal packages☆36Aug 6, 2025Updated 7 months ago
- Learning about Haskell with Variational Autoencoders☆19Nov 16, 2019Updated 6 years ago
- functional spreadsheet programming☆23Mar 30, 2025Updated 11 months ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- Slides and code examples for a talk☆22Dec 19, 2017Updated 8 years ago
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Oct 29, 2013Updated 12 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Aug 11, 2019Updated 6 years ago
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- A type-safe parser, printer, and ADT for URLs and URIs.☆26Apr 28, 2022Updated 3 years ago
- Library and tool for parsing .eventlog files from GHC☆37Feb 18, 2026Updated 2 weeks ago
- ☆21Mar 1, 2024Updated 2 years ago
- Concurrency for the pipes ecosystem☆44Sep 4, 2022Updated 3 years ago
- GHCi REPL in Atom☆26Jul 20, 2021Updated 4 years ago
- Happy Haskell Programming☆67Jun 9, 2025Updated 8 months ago
- Template Haskell Workshop☆52Nov 22, 2021Updated 4 years ago
- This repo has been merged into: https://github.com/music-suite/music-suite☆51Apr 28, 2020Updated 5 years ago
- This repo is inactive. Please visit the new active project at https://github.com/hdevtools/hdevtools☆32Jan 19, 2016Updated 10 years ago
- ☆89May 29, 2018Updated 7 years ago
- Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)☆32Jan 11, 2026Updated last month
- Static code analysis using graph-theoretic techniques☆27May 29, 2022Updated 3 years ago
- Haskell library for semigroup actions and torsors☆64Feb 3, 2025Updated last year