Alternatives and similar repositories for dotfiles:

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

• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 10 months ago
• deech / LeftPad
  ☆23Updated 7 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated 10 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆17Updated 10 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆29Updated last year
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last week
• cjdev2 / text-conversions
  Safe conversions between Haskell textual types
  ☆39Updated 2 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 10 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• kowainik / life-sync
  🔄 Synchronize personal configs across multiple machines
  ☆21Updated 4 years ago
• emilypi / order
  Order theory
  ☆24Updated last year
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 4 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 5 months ago
• sdiehl / vim-cabalfmt
  Cabal-fmt vim plugin for formatting Cabal package files
  ☆15Updated 4 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• pigworker / potato
  being an experiment with potato power
  ☆23Updated 5 years ago
• stevana / bits-and-bobs
  Bit-level codec library
  ☆17Updated last year
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆34Updated 5 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• ShinKage / nvim-idris2
  EXPERIMENTAL: Idris2 plugin for neovim in Idris2
  ☆10Updated 3 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 weeks ago