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.
  ☆111Updated last week
• benweitzman / BinarySpacePartition
  XMonad Layout
  ☆40Updated 9 years ago
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆92Updated 8 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 9 years ago
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆50Updated 2 weeks ago
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 11 months ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• arthuraa / memory-safe-language
  A formalization of properties of a simple imperative, memory-safe language.
  ☆19Updated 4 years ago
• fireflowerr / hbacklight
  Backlight controller for Linux systems
  ☆16Updated 5 years ago
• Lysxia / coq-simple-io
  IO for Gallina
  ☆33Updated 3 months ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated 2 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆51Updated 9 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Updated 4 years ago
• UniMath / Schools
  ☆90Updated 5 months ago
• chatziko / lci
  A lambda calculus interpeter
  ☆65Updated 9 months ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆256Updated 9 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆127Updated last week
• Witiko / fithesis
  A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …
  ☆45Updated 3 years ago
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 5 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 3 months ago
• 0xd34df00d / inline-asm
  Inline Assembly code in ur Haskell!
  ☆45Updated 6 months ago
• langston-barrett / coq-big-o
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆36Updated 8 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago