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 this week
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated this week
• yogsototh / yblog
  Hakyll powered blog for yannesposito.com
  ☆41Updated 5 years ago
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• UniMath / Schools
  ☆93Updated 7 months ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 9 years ago
• benweitzman / BinarySpacePartition
  XMonad Layout
  ☆40Updated 9 years ago
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆51Updated last month
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 5 years ago
• Akii / acme-fucks
  Provides a Monoid, Functor, Applicative and Monad for Fucks (to give)
  ☆12Updated 8 years ago
• rocq-community / HighSchoolGeometry
  Geometry in Coq for French high school [maintainer=@thery]
  ☆21Updated last year
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆105Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆62Updated last year
• fpcastle / fpcastle.github.io
  A representative FP Castle
  ☆19Updated 4 months ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Updated 4 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆38Updated this week
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆92Updated 8 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 5 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated 2 years ago
• Mtac2 / Mtac2
  ☆56Updated last week
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• georgefst / evdev
  Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.
  ☆15Updated 7 months ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆98Updated 3 weeks ago
• agda-attic / agda-spec
  Specification of Agda.
  ☆25Updated 6 years ago