A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
☆26Jul 9, 2022Updated 4 years ago
Alternatives and similar repositories for necrophagy
Users that are interested in necrophagy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 4 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- Leightweight generalized parser combinators☆20Nov 23, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 9 months ago
- Require that callers propagate `HasCallStack` constraints☆21Dec 18, 2024Updated last year
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Nov 27, 2020Updated 5 years ago
- ☆20May 22, 2023Updated 3 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Divide without division☆20Aug 9, 2025Updated 11 months ago
- A library for building bots compositionally.☆52Mar 10, 2025Updated last year
- Chapelure is a diagnostic library for Haskell☆45Jun 12, 2023Updated 3 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Jun 29, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Flexible Haskell library for parsing and printing S-Expressions☆21Oct 30, 2024Updated last year
- ☆23Jun 16, 2026Updated 3 weeks ago
- Haskell QuasiQuoter for String Formatting☆71Dec 29, 2025Updated 6 months ago
- A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!☆28Sep 25, 2023Updated 2 years ago
- Minimal binary serialization library with focus on performance☆26Jul 16, 2025Updated 11 months ago
- A haskell library providing Word128 and Int128 types☆22Mar 1, 2026Updated 4 months ago
- An interactive fiction (text adventure) library in Haskell, inspired by Inform7.☆22Mar 24, 2026Updated 3 months ago
- A Haskell libary for generating low-level sounds with high-level combinators.☆17Oct 10, 2024Updated last year
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems☆51Oct 20, 2025Updated 8 months ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 4 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 6 months ago
- Parse environment variables☆32May 6, 2026Updated 2 months ago
- A pedagogical functional programming language.☆20Jun 27, 2026Updated last week
- ☆22Jun 16, 2026Updated 3 weeks ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 4 years ago
- Compare the public API of different versions of a Hackage library☆62May 2, 2018Updated 8 years ago
- Low level Haskell bindings to the BearLibTerminal graphics library.☆21Jul 22, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Existential type.☆37May 10, 2026Updated last month
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated 5 months ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- Formal specification of the Haskell Language Report☆32Mar 2, 2026Updated 4 months ago
- Library and executable for working with playlist files.☆13Dec 15, 2025Updated 6 months ago
- OpenSSL binding for Haskell☆24Jun 29, 2026Updated last week