Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "mathcomp" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "mathcomp" keyword.

Top 9.6% on proxy.golang.org
github.com/math-comp/hierarchy-builder v1.10.2
High level commands to declare a hierarchy based on packed classes
20 versions - Latest release: 16 days ago - 102 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/EngineeringSoftware/roosterize v8.10.0+incompatible
Tool for suggesting lemma names in Coq verification projects
1 version - Latest release: over 5 years ago - 21 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/rocq-community/lemma-overloading v8.12.0+incompatible
Libraries demonstrating design patterns for programming and proving with canonical structures in ...
7 versions - Latest release: over 5 years ago - 27 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/rocq-community/graph-theory v0.9.7
Graph Theory [maintainers=@chdoc,@damien-pous]
7 versions - Latest release: 8 months ago - 38 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/rocq-community/reglang v1.2.2
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
6 versions - Latest release: 12 months ago - 43 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/math-comp/analysis v0.3.0
Mathematical Components compliant Analysis Library
1 version - Latest release: over 5 years ago - 174 stars on GitHub
Top 9.6% on proxy.golang.org
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: over 5 years ago - 26 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/coq-community/graph-theory v0.9.7
Graph Theory [maintainers=@chdoc,@damien-pous]
7 versions - Latest release: 8 months ago - 28 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/coq-community/reglang v1.2.2
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
6 versions - Latest release: 12 months ago - 37 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/coq-community/fourcolor v1.4.2
Formal proof of the Four Color Theorem [maintainer=@ybertot]
12 versions - Latest release: 8 months ago - 140 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/math-comp/fourcolor v1.4.2
Formal proof of the Four Color Theorem [maintainer=@ybertot]
12 versions - Latest release: 8 months ago - 208 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/affeldt-aist/monae v0.1.1
Monadic effects and equational reasonig in Coq
1 version - Latest release: over 5 years ago - 63 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/affeldt-aist/infotheo v0.1.1
A Rocq formalization of information theory and linear error-correcting codes
1 version - Latest release: over 5 years ago - 72 stars on GitHub
Top 5.7% on proxy.golang.org
github.com/arthuraa/extructures v0.5.0
Finite sets and maps for Coq with extensional equality
8 versions - Latest release: about 1 year ago - 29 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/rocq-community/fourcolor v1.4.2
Formal proof of the Four Color Theorem [maintainer=@ybertot]
12 versions - Latest release: 8 months ago - 208 stars on GitHub
Related Keywords
coq 13 ssreflect 11 mathcomp-ci 4 docker-coq-action 4 four-color-theorem 3 coq-ci 3 math-comp 2 regular-languages 2 regexp 2 coq-platform 2 coq-nix-toolbox 2 graph-theory 2 typeclasses 2 paper-artifacts 2 canonical-structures 2 automation 2 finite-sets 1 probability 1 information-theory 1 error-correcting-codes 1 convexity 1 probabilistic-programming 1 nondeterminism 1 monads 1 monadic-effects 1 monad-transformers 1 elpi 1 deep-learning 1 machine-learning 1 analysis 1 name-generation 1 neural-networks 1 pytorch 1 serapi 1