d2km / nixformat
☆19Updated last year
Related projects ⓘ
Alternatives and complementary repositories for nixformat
- Clipboard synchronization tool☆12Updated 11 months ago
- nix expressions for the official opam repository, using opam2nix☆27Updated 3 years ago
- OCaml back end for Idris☆22Updated 6 years ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- Haskell bindings for systemd☆18Updated 4 months ago
- ☆13Updated 2 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Updated last year
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 2 months ago
- Print all the ANSI console colors for your terminal☆11Updated 5 years ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆24Updated 3 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 8 years ago
- The https://ghc.dev Website Generator☆21Updated last month
- Toggle Haskell language extensions from Emacs☆22Updated 4 years ago
- Pretty printer for Nix .drv files.☆17Updated 6 years ago
- ☆23Updated 6 years ago
- Parser for Emacs org-mode files☆31Updated 9 months ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- ☆44Updated last year
- Vector builder☆15Updated 11 months ago
- Core modules for a blazing fast markup combinator library☆22Updated 4 months ago
- An attempt to reimagine knowledge interaction.☆17Updated 4 years ago
- A Haskell ADL to generate terraform files.☆17Updated 4 years ago
- Cursor data and manipulation☆21Updated 11 months ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- ☆12Updated 7 months ago
- Experiment in Nix formatting☆22Updated 5 years ago
- Automatically generate Nix expressions for Emacs packages☆29Updated last month
- Invertible parsing for S-expressions☆33Updated 2 months ago