Alternatives and similar repositories for testing

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

• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• yogsototh / yblog
  Hakyll powered blog for yannesposito.com
  ☆41Updated 5 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• UniMath / Schools
  ☆86Updated 2 months ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• mroman42 / mikrokosmos
  (λ) Educational lambda calculus interpreter
  ☆72Updated 4 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 5 years ago
• 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
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆19Updated 4 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 3 weeks ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆133Updated 3 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• egormalyutin / rainy
  Rainy config for XMonad
  ☆17Updated 5 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆59Updated last year
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• rocq-community / sudoku
  A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
  ☆19Updated 2 years ago
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆90Updated 7 years ago
• CMU-HoTT / serre-finiteness
  ☆16Updated this week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• Mtac2 / Mtac2
  ☆55Updated 3 months ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated 9 months ago
• xmonad / X11
  A Haskell binding to the X11 graphics library.
  ☆111Updated this week
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆147Updated 4 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated last month
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆138Updated 4 years ago