mpickering / haskell-nix-pluginLinks
Plugin scaffolding for nixpkgs
☆12Updated 6 years ago
Alternatives and similar repositories for haskell-nix-plugin
Users that are interested in haskell-nix-plugin are comparing it to the libraries listed below
Sorting:
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Create environments with GHC HEAD artefacts☆27Updated last year
- Old and New GHC☆20Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- CLI tool for Hackage☆26Updated 5 months ago
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- Haskell library to interface with the nix package manager☆25Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Derive instances through isomorphisms☆20Updated last year
- More strongly typed variant of the ixset Haskell package☆24Updated 9 months ago
- Type Theory with Indexed Equality☆25Updated 8 years ago
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- An efficient graph library for Haskell☆39Updated last week
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 5 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Extensible type-safe unions for Haskell☆34Updated 2 months ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 7 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 2 weeks ago
- 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
- Bring fusion to everyone☆13Updated 5 years ago
- ghc --make reimplemented with Shake☆30Updated last year
- GHC prof manipulation script☆32Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago