mpickering / haskell-nix-plugin
Plugin scaffolding for nixpkgs
☆12Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-nix-plugin
- Create environments with GHC HEAD artefacts☆28Updated last year
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Efficient non-empty variants of containers data types, with full API☆25Updated 4 months ago
- Haskell library to interface with the nix package manager☆25Updated 3 years ago
- Safe web routing in haskell☆30Updated last year
- Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.☆11Updated 7 years ago
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 6 months ago
- Extensible type-safe unions for Haskell☆32Updated 2 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last month
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- There are many category theory implementations, but this one is mine☆14Updated 3 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 2 years ago
- CLI tool for Hackage☆26Updated 4 months ago
- Haskell bindings to libsystemd-journal☆21Updated 3 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 6 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Inspecting tool for GHC compilation pipeline☆31Updated last year
- Futuristic New Age Golden Test management☆15Updated 2 years ago
- Compiler backend for generating Scheme code☆26Updated last year
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Overloaded plugin☆31Updated 5 months ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- lazy generators with observation☆15Updated last year
- GHC prof manipulation script☆31Updated 9 months ago
- Regular expressions of types☆16Updated 6 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 3 weeks ago
- ghc --make reimplemented with Shake☆31Updated last year
- Funny little Haskell impl☆18Updated 4 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 3 weeks ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago