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☆34Updated 3 months ago
- GHC plugin to desugar ! into do-notation☆38Updated 9 months ago
- ☆20Updated 2 years ago
- Leightweight generalized parser combinators☆20Updated 2 years ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 3 years ago
- A modern Haskell debugger☆31Updated 7 months ago
- An interface for GHC type-checking plugins☆21Updated 2 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 9 months ago
- Existential type.☆37Updated last year
- reverse dependency build matrix generator☆33Updated 5 years ago
- Types for ldtk☆16Updated last year
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- Machinery for throwing and catching exceptions with some annotation.☆35Updated 8 months ago
- Overloaded plugin☆31Updated last year
- CI assistant☆48Updated 6 months ago
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- An Android app to browse GitHub repositories☆15Updated last month
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 4 months ago
- GHC plugin for open telemetry☆27Updated 6 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 2 months ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 2 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated last year
- Divide without division☆20Updated 4 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 9 months ago
- Keep your laziness in check!☆35Updated 2 months ago
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆29Updated 2 years ago
- Batteries-included structured logging library☆31Updated last week
- Haskell port of the Nanopass Compiler Framework☆23Updated this week
- A Typeclass for user-facing output☆57Updated last week
- ☆31Updated 4 years ago