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
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆66Updated 9 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated 3 weeks ago
• yogsototh / yblog
  Hakyll powered blog for yannesposito.com
  ☆41Updated 5 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Updated 5 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 7 months ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆140Updated 5 years ago
• chatziko / lci
  A lambda calculus interpeter
  ☆68Updated last year
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• UniMath / Schools
  ☆94Updated 9 months ago
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆92Updated 8 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• fireflowerr / hbacklight
  Backlight controller for Linux systems
  ☆16Updated 5 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆39Updated 10 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆131Updated this week
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆51Updated 3 months ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 4 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 3 weeks ago
• proglangdesign / wiki
  The programming language design wiki.
  ☆26Updated 4 months ago
• zwade / Befungell
  Effective Multi-threading in Befunge!
  ☆46Updated 7 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated 2 months ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆151Updated 4 years ago
• jarrett / cpphs
  Tutorial on integrating C++ and Haskell
  ☆93Updated 5 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆136Updated 4 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year