Data

Tools

Indexes

Applications

Experiments

Packages

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

github.com/SRI-CSL

Top 4.7% on proxy.golang.org
github.com/SRI-CSL/gllvm v1.3.1
Whole Program LLVM: wllvm ported to go
12 versions - Latest release: over 3 years ago - 1 dependent repositories - 327 stars on GitHub
Top 7.2% on proxy.golang.org
github.com/SRI-CSL/yices2_go_bindings v0.0.0-20200702170101-52298bf470e3
Golang bindings for yices2
1 version - Latest release: over 5 years ago - 6 stars on GitHub