Alternatives and similar repositories for testing

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

• yogsototh / yblog
  Hakyll powered blog for yannesposito.com
  ☆41Updated 5 years ago
• fireflowerr / hbacklight
  Backlight controller for Linux systems
  ☆16Updated 5 years ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆71Updated 3 years ago
• xmonad / X11
  A Haskell binding to the X11 graphics library.
  ☆109Updated last month
• xintron / xmonad-log
  DBus monitor for xmonad log events.
  ☆35Updated last year
• IanOrton / cubical-topos-experiments
  Agda code for experimenting with internal models of cubical type theory
  ☆14Updated 7 years ago
• benweitzman / BinarySpacePartition
  XMonad Layout
  ☆40Updated 8 years ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 8 years ago
• chordify / redis-schema
  Typed, schema-based, composable Redis library for Haskell
  ☆10Updated 11 months ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆34Updated 4 years ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆60Updated 3 years ago
• GuillermoCalderon / ProjectiveGeometryInAgda
  A formalization of Constructive Projective Geometry in Agda
  ☆13Updated 6 years ago
• uds-psl / CoqTM
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Updated last year
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• agda / package-index
  A package Index for agda libraries
  ☆12Updated 4 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated 2 years ago
• pjones / xmonadrc
  My XMonad configuration
  ☆57Updated 10 months ago
• m-yac / tt-in-cagda
  Simply typed lambda calculus in cubical agda
  ☆22Updated 5 years ago
• agda / agda-spec
  Specification of Agda.
  ☆25Updated 6 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆33Updated 6 months ago
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆26Updated last year
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 5 years ago
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated last week
• jmlowenthal / agda-c
  Verified C programming in Agda
  ☆16Updated 4 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆43Updated 7 years ago
• mpickering / hlint-refactor-vim
  ☆10Updated 5 years ago