Alternatives and similar repositories for testing

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

• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated this week
• xmonad / X11
  A Haskell binding to the X11 graphics library.
  ☆110Updated this week
• benweitzman / BinarySpacePartition
  XMonad Layout
  ☆40Updated 8 years ago
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆25Updated 5 years ago
• swaywm / hsroots
  A Haskell wrapper/binding to wlroots
  ☆41Updated 5 years ago
• rebeccaskinner / rofi-hoogle
  Search Hoogle from Rofi
  ☆27Updated last year
• teaching-lab / stack-cs-activities
  A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …
  ☆24Updated 11 months ago
• thorinii / hsraytrace
  A raytracer that renders to ASCII written in Haskell
  ☆14Updated 8 years ago
• rlcintra / pomobar
  A customisable pomodoro timer for Xmobar
  ☆13Updated 2 years ago
• yogsototh / yblog
  Hakyll powered blog for yannesposito.com
  ☆41Updated 5 years ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆32Updated 2 months ago
• jonaprieto / hott-cheatsheets
  Homotopy type theory cheatsheets to read the HoTT Book
  ☆11Updated 5 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated last month
• lordi / haskell-terminal
  Haskell terminal emulator
  ☆21Updated 11 years ago
• listx / syscfg
  My dotfiles
  ☆26Updated last week
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• Lysxia / coq-simple-io
  IO for Gallina
  ☆33Updated 2 months ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 8 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated 2 months ago
• kspalaiologos / lc-apl
  Journey to the Center of the Lambda Calculus
  ☆15Updated last year
• pjones / xmonadrc
  My XMonad configuration
  ☆57Updated 9 months ago
• infinisil / nix-xdg
  [WIP] Nix overlay for making programs xdg compliant
  ☆21Updated 7 years ago
• mpickering / hlint-refactor-vim
  ☆10Updated 5 years ago
• rblaze / haskell-dbus
  A client library for the D-Bus IPC system.
  ☆40Updated last month
• purebred-mua / purebred
  A terminal based mail user agent based on notmuch
  ☆142Updated 4 months ago
• target / nix-fetchers
  A set of morally pure fetching builtins for Nix.
  ☆44Updated 2 years ago
• bgamari / attoparsec
  A fast Haskell library for parsing ByteStrings
  ☆10Updated 3 years ago
• doublescale / rastermizer
  View 3D models in the terminal
  ☆10Updated 5 years ago
• FrozenWinters / SSTs
  Work in progress on semi-simplicial types
  ☆23Updated 2 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago