Alternatives and similar repositories for spacemacs-coq:

Users that are interested in spacemacs-coq are comparing it to the libraries listed below

• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆43Updated 3 weeks ago
• gallais / thesis
  Syntaxes with Binding, Their Programs, and Proofs
  ☆23Updated last year
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 2 years ago
• rocq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated 4 months ago
• unicoq / unicoq
  An enhanced unification algorithm for Coq
  ☆54Updated last month
• m-yac / agda-knots
  An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
  ☆13Updated 6 years ago
• gmalecha / coq-printf
  Implementation of sprintf for Coq
  ☆18Updated 4 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 2 months ago
• L-TChen / MtacAR
  Mtac in Agda
  ☆28Updated 3 years ago
• rocq-community / paramcoq
  Old Coq plugin for parametricity [maintainer=@ppedrot]
  ☆45Updated last month
• benediktahrens / monads
  Coq code accompanying several articles on semantics of functional programming languages
  ☆10Updated 6 years ago
• coq / ltac2
  A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
  ☆31Updated 5 years ago
• wilbowma / cic-redex
  A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
  ☆33Updated 7 years ago
• CHTT-s18 / lecture-notes
  ☆27Updated 4 years ago
• jonsterling / coq-domains
  ☆18Updated 2 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆47Updated 2 years ago
• jmchapman / Relative-Monads
  Relative Monad Library for Agda
  ☆24Updated 5 years ago
• agda / agda-spec
  Specification of Agda.
  ☆25Updated 6 years ago
• limemloh / cubical-congruence
  Congruence Closure Procedure in Cubical Agda
  ☆17Updated 4 years ago
• tomdjong / domain-theory-in-uf
  ☆11Updated 4 years ago
• wenkokke / AutoInAgda
  Proof automation – for Agda, in Agda.
  ☆44Updated 4 years ago
• sstucki / pts-agda
  A formalization of Pure Type Systems (PTS) in Agda
  ☆23Updated 2 months ago
• rocq-community / coq-plugin-template
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆18Updated last year
• Beluga-lang / Meta
  Mechanizing Types and Programming Languages using Beluga
  ☆18Updated 4 years ago
• Lysxia / coq-simple-io
  IO for Gallina
  ☆32Updated last month
• AndrasKovacs / thesis
  my phd thesis
  ☆26Updated 7 months ago
• metaborg / mj.agda
  https://metaborg.github.io/mj.agda/
  ☆12Updated 4 years ago
• IanOrton / cubical-topos-experiments
  Agda code for experimenting with internal models of cubical type theory
  ☆13Updated 6 years ago
• david-christiansen / jonprl-mode
  An Emac major mode for writing JonPRL code
  ☆8Updated 8 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated 2 weeks ago