Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "departed" keyword
departed 0.1.0
A library that provides some of the benefits of dependent types using the Ghosts of Departed Proo...1 version - Latest release: about 4 years ago - 565 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords