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
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 9 years ago
• Akii / acme-fucks
  Provides a Monoid, Functor, Applicative and Monad for Fucks (to give)
  ☆12Updated 8 years ago
• xmonad / xmonad-web
  The xmonad.org website
  ☆17Updated this week
• xmonad / X11
  A Haskell binding to the X11 graphics library.
  ☆113Updated this week
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• wouter-swierstra / Brainfuck
  A Brainfuck interpreter written in Agda
  ☆52Updated 4 years ago
• fireflowerr / hbacklight
  Backlight controller for Linux systems
  ☆16Updated 5 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• georgefst / evdev
  Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.
  ☆15Updated 8 months ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• UniMath / Schools
  ☆94Updated 8 months ago
• yutotakano / discord-haskell-voice
  A Haskell library to add voice support to discord-haskell.
  ☆17Updated 3 weeks ago
• IanOrton / cubical-topos-experiments
  Agda code for experimenting with internal models of cubical type theory
  ☆15Updated 7 years ago
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated last year
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 5 years ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• FrozenWinters / SSTs
  Work in progress on semi-simplicial types
  ☆23Updated 3 years ago
• fpcastle / fpcastle.github.io
  A representative FP Castle
  ☆19Updated 5 months ago
• TOTBWF / cubical-categories
  Category theory formalized in cubical agda
  ☆21Updated 5 years ago
• glguy / irc-core
  Haskell IRC library and console client - Join us on libera.chat #glirc
  ☆166Updated 2 weeks ago
• jgm / emojis
  Haskell library for emojis
  ☆30Updated last year
• pjones / xmonadrc
  My XMonad configuration
  ☆57Updated last year
• asayers / xmobar-tools
  A collection of scripts which output xmobar-readable information
  ☆12Updated 4 years ago
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆51Updated 2 months ago
• jozefg / undergraduate-thesis
  A discouraging story.
  ☆16Updated 7 years ago
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆20Updated 2 years ago
• benweitzman / BinarySpacePartition
  XMonad Layout
  ☆40Updated 9 years ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 3 years ago