RiugaBachi / necrophagyLinks
A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
☆26Updated 3 years ago
Alternatives and similar repositories for necrophagy
Users that are interested in necrophagy are comparing it to the libraries listed below
Sorting:
- Inspecting tool for GHC compilation pipeline☆35Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- Leightweight generalized parser combinators☆20Updated last year
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 3 months ago
- Existential type.☆37Updated 7 months ago
- An interface for GHC type-checking plugins☆20Updated 3 weeks ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- ☆20Updated 2 years ago
- Machinery for throwing and catching exceptions with some annotation.☆33Updated 4 months ago
- An Android app to browse GitHub repositories☆13Updated 4 months ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- ☆18Updated 4 years ago
- Example uses of linear types☆43Updated 5 years ago
- Batteries-included structured logging library☆30Updated 2 months ago
- audit your cabal projects for haskell-specific security-advisories☆27Updated 3 months ago
- Overloaded plugin☆30Updated last year
- A modern Haskell debugger☆31Updated 3 months ago
- WIP: A modern step-through debugger for GHC Haskell☆34Updated last week
- Haskell library for semigroup actions and torsors☆63Updated 6 months ago
- rewrite rules for type-level equalities☆62Updated last year
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆28Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆52Updated last month
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- GHC plugin to make stream fusion more predictable☆18Updated 5 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 7 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated last year
- ☆22Updated 8 months ago
- Haskell QuasiQuoter for String Formatting☆69Updated 6 months ago