Ecosyste.ms: Packages

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

proxy.golang.org "ssreflect" keyword

Top 9.6% on proxy.golang.org
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
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
github.com/math-comp/analysis v0.3.0
Mathematical Components compliant Analysis Library
1 version - Latest release: about 4 years ago - 174 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/affeldt-aist/infotheo v0.1.1
A Coq formalization of information theory and linear error-correcting codes
1 version - Latest release: almost 4 years ago - 59 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: almost 4 years ago - 63 stars on GitHub
Top 9.6% on proxy.golang.org
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
Related Keywords
mathcomp 6 coq 4 math-comp 2 four-color-theorem 1 coq-ci 1 probabilistic-programming 1 nondeterminism 1 monads 1 monadic-effects 1 monad-transformers 1 probability 1 information-theory 1 error-correcting-codes 1 convexity 1 analysis 1 typeclasses 1 paper-artifacts 1 canonical-structures 1 automation 1 regular-languages 1 regexp 1 mathcomp-ci 1 docker-coq-action 1 coq-platform 1 coq-nix-toolbox 1