jb55 / nix-files
My NixOS configuration and custom Nix derivations.
☆12Updated 4 years ago
Alternatives and similar repositories for nix-files:
Users that are interested in nix-files are comparing it to the libraries listed below
- Toggle Haskell language extensions from Emacs☆22Updated 5 years ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Configuration files (.emacs)☆22Updated 3 weeks ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- ☆45Updated 4 months ago
- Library for Nix expression dependency generation☆12Updated 9 years ago
- Emacs major mode and related tools for Purescript☆21Updated last week
- Intero Haskell IDE with Nix instead of Stack☆15Updated 7 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- A REPL for nix expressions in your browser☆13Updated 7 years ago
- A simple text editor written in Haskell with Brick☆13Updated 6 years ago
- I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Her…☆30Updated 6 years ago
- Stackage overlay for Nixpkgs☆25Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated last month
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- GHC prof manipulation script☆32Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 3 months ago
- Interface to the Stack Haskell development tool☆27Updated 5 years ago
- ☆18Updated 4 years ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- Cookbook for working with Nix☆14Updated 10 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- Haskell ctags/etags generator☆25Updated last year
- A curated wishlist of Haskell libraries, packages, and tools☆17Updated 9 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Updated 9 years ago