Alternatives and similar repositories for testing:

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

• benweitzman / BinarySpacePartition
  XMonad Layout
  ☆40Updated 8 years ago
• xmonad / X11
  A Haskell binding to the X11 graphics library.
  ☆109Updated this week
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated this week
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆69Updated this week
• xmonad / xmonad-testing
  Stack/cabal setup for testing xmonad* and configurations
  ☆27Updated 4 years ago
• kuhy / .dotfiles
  Kuhy's literate dotfiles.
  ☆10Updated 11 months ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 3 years ago
• yogsototh / yblog
  Hakyll powered blog for yannesposito.com
  ☆41Updated 4 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• monky-hs / monky
  The main repository for monky
  ☆81Updated 3 weeks ago
• fireflowerr / hbacklight
  Backlight controller for Linux systems
  ☆16Updated 5 years ago
• smlhelp / book
  deployment for smlhelp page
  ☆39Updated last week
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• enomsg / vim-haskellConcealPlus
  Extended Haskell Conceal feature for Vim
  ☆131Updated 5 years ago
• swaywm / hsroots
  A Haskell wrapper/binding to wlroots
  ☆41Updated 5 years ago
• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆141Updated 4 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 4 years ago
• rblaze / haskell-dbus
  A client library for the D-Bus IPC system.
  ☆41Updated last week
• pjones / xmonadrc
  My XMonad configuration
  ☆57Updated 7 months ago
• xmonad / xmonad-extras
  Various modules for xmonad that cannot be added to xmonad-contrib because of additional dependencies.
  ☆51Updated 7 months ago
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆58Updated 2 weeks ago
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 3 months ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• kazu-yamamoto / iproute
  IP Routing Table in Haskell
  ☆47Updated 5 months ago
• MarcWeber / hasktags
  Produces ctags "tags" and etags "TAGS" files for Haskell programs
  ☆131Updated 6 months ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆251Updated 9 years ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆137Updated 4 years ago