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 / X11
  A Haskell binding to the X11 graphics library.
  ☆112Updated last week
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago
• enomsg / vim-haskellConcealPlus
  Extended Haskell Conceal feature for Vim
  ☆133Updated 5 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• fireflowerr / hbacklight
  Backlight controller for Linux systems
  ☆16Updated 5 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 10 months ago
• Miko4 / ant
  ant is not TeX
  ☆24Updated 9 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated 10 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆134Updated 3 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated 3 weeks ago
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆50Updated last month
• Lysxia / coq-simple-io
  IO for Gallina
  ☆33Updated 2 months ago
• hslua / hslua
  Haskell bindings to Lua, an embeddable scripting language.
  ☆135Updated last week
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• Akii / acme-fucks
  Provides a Monoid, Functor, Applicative and Monad for Fucks (to give)
  ☆12Updated 8 years ago
• UniMath / Schools
  ☆88Updated 4 months ago
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated last week
• DataKinds / charm
  A [ functional stack ] based language.
  ☆30Updated last year
• jameshaydon / uk-passport
  Solving UKPassportApplication with Haskell
  ☆20Updated 2 months ago
• leanprover / lean.vim
  ☆18Updated 3 years ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 2 years ago
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 5 years ago
• mk12 / vim-lean
  Lean Theorem Prover plugin for Vim.
  ☆16Updated 3 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago