Alternatives and similar repositories for testing

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

• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated 3 weeks ago
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆92Updated 8 years ago
• enomsg / vim-haskellConcealPlus
  Extended Haskell Conceal feature for Vim
  ☆133Updated 5 years ago
• xmonad / X11
  A Haskell binding to the X11 graphics library.
  ☆111Updated 3 weeks ago
• Miko4 / ant
  ant is not TeX
  ☆24Updated 9 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• timjb / halma
  Chinese Checkers Haskell library, GUI application and Telegram bot
  ☆16Updated 4 months ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 9 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆140Updated 9 years ago
• benweitzman / BinarySpacePartition
  XMonad Layout
  ☆40Updated 9 years ago
• Witiko / fithesis
  A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …
  ☆45Updated 3 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆62Updated last year
• langston-barrett / coq-big-o
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆36Updated 8 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• FStarLang / VimFStar
  A Vim mode for FStar
  ☆26Updated 2 years ago
• georgefst / evdev
  Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.
  ☆15Updated 7 months ago
• glguy / irc-core
  Haskell IRC library and console client - Join us on libera.chat #glirc
  ☆164Updated 3 weeks ago
• pjones / xmonadrc
  My XMonad configuration
  ☆57Updated last year
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆141Updated 5 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆77Updated 5 years ago
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆51Updated 2 weeks ago
• purebred-mua / purebred
  A terminal based mail user agent based on notmuch
  ☆142Updated 2 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆135Updated 4 years ago
• NorfairKing / tui-base
  A base to start writing a tui from
  ☆35Updated last year
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• leanprover / lean.vim
  ☆18Updated 4 years ago
• cdepillabout / termonad
  Terminal emulator configurable in Haskell.
  ☆417Updated 5 months ago