jb55 / nix-files
My NixOS configuration and custom Nix derivations.
☆12Updated 3 years ago
Related projects: ⓘ
- Library for Nix expression dependency generation☆12Updated 9 years ago
- ☆22Updated this week
- Toggle Haskell language extensions from Emacs☆22Updated 4 years ago
- Intero Haskell IDE with Nix instead of Stack☆15Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- ☆44Updated last year
- A REPL for nix expressions in your browser☆13Updated 6 years ago
- ☆13Updated 2 years ago
- Configuration files (.emacs)☆22Updated last month
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆14Updated 7 years ago
- A set of morally pure fetching builtins for Nix.☆43Updated last year
- ☆11Updated 7 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- My haskell-mode configuration for Emacs☆19Updated 2 years ago
- Stackage overlay for Nixpkgs☆25Updated 4 years ago
- A library for using algebraic data types in the Nix expression language.☆30Updated 6 years ago
- A simple module for enabling Hydra☆14Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- Create etag/ctags for stack projects☆10Updated last year
- Protect against backwards-incompatible serializations☆22Updated 3 years ago
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- Cookbook for working with Nix☆14Updated 9 years ago
- A simple directory-like tree datatype, with useful IO functions, for Haskell☆25Updated 4 months ago
- Pretty printer for Nix .drv files.☆17Updated 6 years ago
- Haskell reimplementation of Selecta☆16Updated 5 years ago