RiugaBachi / necrophagy
A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
☆25Updated 2 years ago
Alternatives and similar repositories for necrophagy
Users that are interested in necrophagy are comparing it to the libraries listed below
Sorting:
- ☆19Updated last week
- ☆20Updated last year
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 4 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated last month
- Leightweight generalized parser combinators☆20Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- An interface for GHC type-checking plugins☆20Updated 5 months ago
- A library to profile time in a Haskell program☆17Updated 11 months ago
- Existential type.☆37Updated 4 months ago
- ☆31Updated 4 years ago
- Batteries-included structured logging library☆30Updated last month
- GHC plugin to make stream fusion more predictable☆17Updated 2 months ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- ☆35Updated 7 months ago
- GHC plugin for open telemetry☆24Updated 6 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 3 weeks ago
- Automation for releasing haskell packages☆18Updated last year
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 2 months ago
- Overloaded plugin☆30Updated 10 months ago
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 2 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 3 years ago
- Types for ldtk☆15Updated last year
- Algebraic effects in the Bluefin effect system☆16Updated last year
- An Android app to browse GitHub repositories☆12Updated last month
- reverse dependency build matrix generator☆33Updated 4 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- ☆18Updated 4 years ago