Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org : vehicle-lang
A high-level functional language for writing mathematically-precise specifications for neural networks.
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/vehicle-lang
Keywords: agda, haskell, neural-network, specification, verification
License: Other
Latest release: 27 days ago
First release: about 1 year ago
Downloads: 1,647 last month
Stars: 69 on GitHub
Forks: 5 on GitHub
Total Commits: 1184
Committers: 9
Average commits per author: 131.556
Development Distribution Score (DDS): 0.368
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago