Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "coq" keyword
Top 9.6% on proxy.golang.org
2 versions - Latest release: almost 7 years ago - 646 stars on GitHub
github.com/uwdb/cosette v1.0.0
Cosette is an automated SQL solver.2 versions - Latest release: almost 7 years ago - 646 stars on GitHub
Top 9.6% on proxy.golang.org
7 versions - Latest release: almost 2 years ago - 95 stars on GitHub
github.com/coq-community/coq-art v8.15.0+incompatible
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]7 versions - Latest release: almost 2 years ago - 95 stars on GitHub
Top 9.6% on proxy.golang.org
8 versions - Latest release: 7 months ago - 140 stars on GitHub
github.com/coq-community/fourcolor v1.3.1
Formal proof of the Four Color Theorem [maintainer=@ybertot]8 versions - Latest release: 7 months ago - 140 stars on GitHub
Top 9.6% on proxy.golang.org
20 versions - Latest release: over 2 years ago - 195 stars on GitHub
github.com/lukaszcz/coqhammer v1.3.2-coq8.15
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory20 versions - Latest release: over 2 years ago - 195 stars on GitHub
Top 9.6% on proxy.golang.org
5 versions - Latest release: 5 months ago - 37 stars on GitHub
github.com/coq-community/reglang v1.2.1
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]5 versions - Latest release: 5 months ago - 37 stars on GitHub
Top 9.6% on proxy.golang.org
1 version - Latest release: over 3 years ago - 14 stars on GitHub
github.com/coq-community/coqtail-math v8.11.2+incompatible
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Re...1 version - Latest release: over 3 years ago - 14 stars on GitHub
Top 9.6% on proxy.golang.org
2 versions - Latest release: almost 7 years ago - 646 stars on GitHub
github.com/uwdb/Cosette v1.0.0
Cosette is an automated SQL solver.2 versions - Latest release: almost 7 years ago - 646 stars on GitHub
Top 9.6% on proxy.golang.org
8 versions - Latest release: over 3 years ago - 83 stars on GitHub
github.com/coq-community/coq-dpdgraph v0.6.9
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]8 versions - Latest release: over 3 years ago - 83 stars on GitHub
Top 9.6% on proxy.golang.org
4 versions - Latest release: 4 months ago - 28 stars on GitHub
github.com/coq-community/graph-theory v0.9.4
Graph Theory [maintainers=@chdoc,@damien-pous]4 versions - Latest release: 4 months ago - 28 stars on GitHub
Top 9.6% on proxy.golang.org
25 versions - Latest release: over 1 year ago - 28 stars on GitHub
github.com/impermeable/waterproof v0.6.1
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks...25 versions - Latest release: over 1 year ago - 28 stars on GitHub
Top 8.2% on proxy.golang.org
21 versions - Latest release: 2 months ago - 225 stars on GitHub
github.com/QuickChick/QuickChick v2.0.3+incompatible
Randomized Property-Based Testing Plugin for Coq21 versions - Latest release: 2 months ago - 225 stars on GitHub
Top 3.9% on proxy.golang.org
14 versions - Latest release: about 1 year ago - 17 dependent packages - 9 dependent repositories - 73 stars on GitHub
github.com/tchajed/goose v0.5.3
Package goose implements conversion from Go source to Perennial definitions. The exposed interfa...14 versions - Latest release: about 1 year ago - 17 dependent packages - 9 dependent repositories - 73 stars on GitHub
Top 9.6% on proxy.golang.org
17 versions - Latest release: 4 months ago - 247 stars on GitHub
github.com/whonore/Coqtail v1.7.1
Interactive Coq Proofs in Vim17 versions - Latest release: 4 months ago - 247 stars on GitHub
Top 9.6% on proxy.golang.org
17 versions - Latest release: 4 months ago - 247 stars on GitHub
github.com/whonore/coqtail v1.7.1
Interactive Coq Proofs in Vim17 versions - Latest release: 4 months ago - 247 stars on GitHub
Top 9.6% on proxy.golang.org
7 versions - Latest release: almost 4 years ago - 26 stars on GitHub
github.com/coq-community/lemma-overloading v8.12.0+incompatible
Libraries demonstrating design patterns for programming and proving with canonical structures in ...7 versions - Latest release: almost 4 years ago - 26 stars on GitHub
Top 9.6% on proxy.golang.org
8 versions - Latest release: over 1 year ago - 20 stars on GitHub
github.com/coq-community/sudoku v8.16.0+incompatible
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]8 versions - Latest release: over 1 year ago - 20 stars on GitHub
Top 9.6% on proxy.golang.org
23 versions - Latest release: 6 months ago - 29 stars on GitHub
github.com/coq-community/aac-tactics v8.19.0+incompatible
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (...23 versions - Latest release: 6 months ago - 29 stars on GitHub
Top 9.6% on proxy.golang.org
2 versions - Latest release: over 2 years ago - 35 stars on GitHub
github.com/thery/coqprime v8.14.1+incompatible
Prime numbers for Coq2 versions - Latest release: over 2 years ago - 35 stars on GitHub
Top 9.6% on proxy.golang.org
1 version - Latest release: about 4 years ago - 174 stars on GitHub
github.com/math-comp/analysis v0.3.0
Mathematical Components compliant Analysis Library1 version - Latest release: about 4 years ago - 174 stars on GitHub
Top 9.6% on proxy.golang.org
11 versions - Latest release: 4 months ago - 280 stars on GitHub
github.com/coq-community/vscoq v2.1.2+incompatible
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,...11 versions - Latest release: 4 months ago - 280 stars on GitHub
Top 9.6% on proxy.golang.org
2 versions - Latest release: about 1 year ago - 23 stars on GitHub
github.com/coq/bignums v9.0.0+incompatible
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the ...2 versions - Latest release: about 1 year ago - 23 stars on GitHub
Top 8.2% on proxy.golang.org
12 versions - Latest release: 4 months ago - 80 stars on GitHub
github.com/EugeneLoy/coq_jupyter v1.6.2
Jupyter kernel for Coq12 versions - Latest release: 4 months ago - 80 stars on GitHub
Top 9.6% on proxy.golang.org
8 versions - Latest release: almost 3 years ago - 22 stars on GitHub
github.com/coq-community/coqoban v8.13.0+incompatible
Sokoban (in Coq) [maintainer=@erikmd]8 versions - Latest release: almost 3 years ago - 22 stars on GitHub
Top 9.6% on proxy.golang.org
2 versions - Latest release: over 2 years ago - 24 stars on GitHub
github.com/coq-community/alea v8.12.0+incompatible
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]2 versions - Latest release: over 2 years ago - 24 stars on GitHub
Top 9.6% on proxy.golang.org
29 versions - Latest release: 4 months ago - 122 stars on GitHub
github.com/coq-community/coq-ext-lib v1.2.1
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]29 versions - Latest release: 4 months ago - 122 stars on GitHub
Top 9.6% on proxy.golang.org
6 versions - Latest release: over 5 years ago - 44 stars on GitHub
github.com/coq-community/paramcoq v1.1.1
Coq plugin for parametricity [maintainer=@proux01]6 versions - Latest release: over 5 years ago - 44 stars on GitHub
Top 9.6% on proxy.golang.org
11 versions - Latest release: about 1 year ago - 23 stars on GitHub
github.com/imdea-software/fcsl-pcm v1.8.0
Partial Commutative Monoids11 versions - Latest release: about 1 year ago - 23 stars on GitHub
Top 7.6% on proxy.golang.org
github.com/herulume/playground
Latest release: 26 days ago - 0 stars on GitHub
Top 9.6% on proxy.golang.org
12 versions - Latest release: 5 months ago - 86 stars on GitHub
github.com/math-comp/hierarchy-builder v1.7.0
High level commands to declare a hierarchy based on packed classes12 versions - Latest release: 5 months ago - 86 stars on GitHub
Top 9.6% on proxy.golang.org
13 versions - Latest release: about 3 years ago - 206 stars on GitHub
github.com/mattam82/coq-equations v1.2.4-8.13
A function definition package for Coq13 versions - Latest release: about 3 years ago - 206 stars on GitHub
Top 9.6% on proxy.golang.org
13 versions - Latest release: about 3 years ago - 206 stars on GitHub
github.com/mattam82/Coq-Equations v1.2.4-8.13
A function definition package for Coq13 versions - Latest release: about 3 years ago - 206 stars on GitHub
Related Keywords
docker-coq-action
7
coq-platform
6
coq-ci
6
mathcomp
6
dependent-types
4
ssreflect
4
verification
3
coq-plugin
3
proof-assistant
3
mathcomp-ci
2
go
2
vim
2
paper-artifacts
2
nix-action
2
theorem-proving
2
coq-library
2
programming-language
2
database
2
sql
2
rosette
2
automation
2
coq-nix-toolbox
1
vscodium
1
large-numbers
1
jupyter
1
jupyter-extension
1
jupyter-kernels
1
jupyter-notebook
1
kernel
1
python-pa
1
puzzle
1
monad
1
probability
1
randomized-algorithms
1
library
1
programming
1
parametricity
1
concurrency
1
partial-commutative-monoid
1
separation-logic
1
agda
1
elixir
1
elm
1
haskell
1
ocaml
1
elpi
1
theorem-prover
1
regexp
1
regular-languages
1
complex-analysis
1
real-analysis
1
dependency-analysis
1
dependency-graph
1
graph-theory
1
serapi
1
testing
1
proof-search
1
hammer
1
canonical-structures
1
four-color-theorem
1
typeclasses
1
exercises
1
sudoku
1
coq-art
1
coq-tactic
1
elliptic-curves
1
pocklington-certificate
1
prime-numbers
1
analysis
1
editor
1
vscode
1
vscode-extension
1