Alternatives and similar repositories for testing

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

• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• xmonad / X11
  A Haskell binding to the X11 graphics library.
  ☆111Updated last month
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆30Updated 6 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆135Updated 3 years ago
• UniMath / Schools
  ☆88Updated 5 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 11 months ago
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 9 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆120Updated last year
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 5 years ago
• georgefst / evdev
  Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.
  ☆15Updated 5 months ago
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆92Updated 8 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆62Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated 2 weeks ago
• wouter-swierstra / Brainfuck
  A Brainfuck interpreter written in Agda
  ☆50Updated 4 years ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆62Updated 3 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆140Updated 9 years ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 9 years ago
• rocq-community / HighSchoolGeometry
  Geometry in Coq for French high school [maintainer=@thery]
  ☆20Updated last year
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆266Updated last year
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• jonaprieto / agda-prop
  A Library for Classical Propositional Logic in Agda
  ☆16Updated 5 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆19Updated 4 years ago
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago
• glguy / advent2018
  Advent of Code 2018 Solutions
  ☆37Updated 5 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• benweitzman / BinarySpacePartition
  XMonad Layout
  ☆40Updated 9 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆83Updated 9 years ago