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.
  ☆113Updated 3 weeks ago
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆92Updated 8 years ago
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 5 years ago
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• Akii / acme-fucks
  Provides a Monoid, Functor, Applicative and Monad for Fucks (to give)
  ☆12Updated 9 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆136Updated 4 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆141Updated 10 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 7 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆256Updated 9 years ago
• enomsg / vim-haskellConcealPlus
  Extended Haskell Conceal feature for Vim
  ☆133Updated 6 years ago
• fireflowerr / hbacklight
  Backlight controller for Linux systems
  ☆16Updated 5 years ago
• UniMath / Schools
  ☆94Updated 9 months ago
• arthuraa / memory-safe-language
  A formalization of properties of a simple imperative, memory-safe language.
  ☆20Updated 4 years ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆140Updated 5 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• xmonad / xmonad-testing
  Stack/cabal setup for testing xmonad* and configurations
  ☆27Updated 4 years ago
• hslua / hslua
  Haskell bindings to Lua, an embeddable scripting language.
  ☆135Updated 2 weeks ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 9 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated 2 months ago
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆51Updated 2 months ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆51Updated 10 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated 3 weeks ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Updated 5 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated last month