Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with coq-plugin
A curated list of projects in awesome lists tagged with coq-plugin .
https://github.com/coq/ltac2
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
Last synced: 02 Aug 2024
https://github.com/coq-community/bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
coq coq-ci coq-platform coq-plugin docker-coq-action large-numbers
Last synced: 04 Aug 2024
https://github.com/coq-community/metaprogramming-rosetta-stone
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
coq coq-plugin metaprogramming
Last synced: 04 Aug 2024