Alternatives and similar repositories for nixformat:

Users that are interested in nixformat are comparing it to the libraries listed below

• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 5 months ago
• erebe / systemd
  Haskell bindings for systemd
  ☆18Updated 8 months ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 6 months ago
• matthewbauer / nix-haskell-mode
  Automatic Haskell setup in Emacs, for Nix users
  ☆28Updated 5 years ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• timbertson / opam2nix-packages
  nix expressions for the official opam repository, using opam2nix
  ☆27Updated 4 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• psibi / dhall-mode
  ☆45Updated 2 months ago
• mxswd / data-filepath
  A type safe file path data structure.
  ☆10Updated 8 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 7 months ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated 3 weeks ago
• deech / LeftPad
  ☆23Updated 7 years ago
• nikita-volkov / base-prelude
  The most complete prelude formed only from the "base" package
  ☆29Updated last year
• robrix / silkscreen
  Prettyprinting transformers for rainbow parens, precedence, etc.
  ☆16Updated 3 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• tek / helic
  Clipboard synchronization tool
  ☆12Updated last week
• justinwoo / easy-dhall-nix
  Derivations for easily downloading Dhall binaries and putting them to use.
  ☆25Updated last year
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated 8 months ago
• ocharles / libsystemd-journal
  Haskell bindings to libsystemd-journal
  ☆21Updated last week
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 6 months ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• minimapletinytools / smarties
  haskell behavior tree library
  ☆11Updated 5 years ago
• taktoa / narfuse
  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
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• xran-deex / ats-http
  An epoll-based HTTP library for ATS2
  ☆14Updated 2 years ago