Alternatives and similar repositories for dotfiles

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

• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last year
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆25Updated 2 months ago
• tek / helic
  Clipboard synchronization tool
  ☆12Updated 2 weeks ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 8 months ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆32Updated last year
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 5 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 9 months ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 5 months ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆29Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• deech / LeftPad
  ☆23Updated 7 years ago
• larskuhtz / ghci-pretty
  tiny hack for colored pretty-printing within ghci
  ☆20Updated 2 years ago
• tek / ribosome
  A Neovim plugin host and framework for Haskell
  ☆19Updated 10 months ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• ShinKage / nvim-idris2
  EXPERIMENTAL: Idris2 plugin for neovim in Idris2
  ☆10Updated 3 years ago
• lexi-lambda / lexi-lambda.github.io
  ☆34Updated last month
• lukel97 / lsp-test
  A functional test framework for LSP servers
  ☆35Updated 4 years ago
• fosskers / fosskers.ca
  My personal site.
  ☆10Updated 2 weeks ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated last month
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• cjdev2 / text-conversions
  Safe conversions between Haskell textual types
  ☆39Updated 3 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆36Updated 8 months ago
• madman-bob / idris2-table
  A table library for Idris 2
  ☆14Updated 2 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago