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/watchthelight

github.com/watchthelight/HypergraphGo v1.8.2 💰
A native HoTT (Homotopy Type Theory) kernel in Go, evolving from a hypergraph theory library.
43 versions - Latest release: 2 months ago - 1 stars on GitHub
github.com/watchthelight/hypergraphgo v1.8.2
A native HoTT (Homotopy Type Theory) kernel in Go, evolving from a hypergraph theory library.
43 versions - Latest release: 2 months ago - 1 stars on GitHub