Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : peano-natural
Type-level Peano naturals
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/peano-natural
License: MIT,Apache-2.0
Latest release: over 8 years ago
First release: over 8 years ago
Downloads: 3,081 total
Last synced: 8 days ago
M Farkas-Dyck
201 packages894,065 downloads