Alternatives and similar repositories for testing:

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

• Lysxia / coq-simple-io
  IO for Gallina
  ☆32Updated 2 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆33Updated 4 months ago
• Armael / coq-procrastination
  A small Coq library for collecting side conditions and deferring their proof
  ☆24Updated 5 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆47Updated last week
• uds-psl / CoqTM
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Updated last year
• uds-psl / coq-library-complexity
  ☆30Updated last year
• UniMath / Schools
  ☆80Updated 5 months ago
• xmonad / X11
  A Haskell binding to the X11 graphics library.
  ☆109Updated 3 weeks ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 2 years ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆27Updated this week
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated last month
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 5 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆282Updated last month
• nyu-acsys / drift
  An abstract-interpretation-based static analysis for inferring refinement types
  ☆16Updated 3 months ago
• coq-community / HighSchoolGeometry
  Geometry in Coq for French high school [maintainer=@thery]
  ☆20Updated 7 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 4 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• patoline / patoline
  Patoline typesetting system
  ☆186Updated 2 years ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆26Updated 4 months ago
• UnivalencePrinciple / 2LTT-Agda
  Formalization of 2LTT in Agda
  ☆14Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆142Updated this week
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆24Updated 2 years ago
• CMU-HoTT / serre-finiteness
  ☆14Updated 2 weeks ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆67Updated 3 weeks ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆92Updated 3 weeks ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆37Updated 4 months ago