Alternatives and similar repositories for autonix-deps:

Users that are interested in autonix-deps are comparing it to the libraries listed below

• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 9 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 4 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• deepfire / nh
  Manage Nix Haskell override sets
  ☆11Updated 6 years ago
• soenkehahn / dead-code-detection
  ☆25Updated 8 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 7 years ago
• glguy / ssh-hans
  ☆12Updated 5 years ago
• tanakh / html2hamlet
  HTML to Hamlet converter
  ☆16Updated 5 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 4 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 5 months ago
• ocharles / opaleye-tf
  An alternative interface to Opaleye, built around type families
  ☆13Updated 8 years ago
• mpickering / hashtag-coerce
  A GHC source plugin which detects opportunities to use coerce
  ☆17Updated 6 years ago
• joom / fuzzy
  Fuzzy string search in Haskell
  ☆14Updated last year
• hasky-mode / hasky-extensions
  Toggle Haskell language extensions from Emacs
  ☆22Updated 5 years ago
• bgamari / play-type-search
  A hack to find types in Haskell codebases
  ☆10Updated 9 years ago
• typeable / nixpkgs-stackage
  Stackage overlay for Nixpkgs
  ☆25Updated 5 years ago
• Daniel-Diaz / haskintex
  Haskell Evaluation inside of LaTeX code.
  ☆22Updated last year
• jship / tao
  Type-level assertion operators
  ☆16Updated 7 years ago
• sjoerdvisscher / fmlist
  FoldMap lists
  ☆12Updated 2 years ago
• ezyang / deepseq-magic
  Deep evaluation of data structures without NFData
  ☆10Updated 10 years ago
• michalrus / intero-nix-shim
  Intero Haskell IDE with Nix instead of Stack
  ☆15Updated 7 years ago
• DanielG / rts-loader
  Haskell dynamic RTS loader
  ☆13Updated 8 years ago
• hellertime / time-recurrence
  Generate recurring dates.
  ☆16Updated last year
• joelwilliamson / bimap
  Bidirectional mapping between two key types
  ☆22Updated last year
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• ghcjs / ghcjs-ffiqq
  QuasiQuoter for GHCJS JavaScript FFI
  ☆20Updated 8 years ago
• hsyl20 / ghc-studio
  Web frontend for GHC
  ☆12Updated 5 years ago