Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: pypi: dnnv
dnnv - deep neural network verification
22 versions
Latest release: almost 2 years ago
331 downloads last month
View more package details: https://packages.ecosyste.ms/registries/pypi.org/packages/dnnv
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/dlshriver%2Fdnnv
Dependent Repos 3
vas-group-imperial/VeriNet
The VeriNet toolkit for verification of neural networks- * Pipfile
- ==0.5.1 Pipfile.lock
Size: 126 MB - Last synced: 9 months ago - Pushed: 11 months ago
haithamkhedr/PeregriNN
Feed forward NN Verification framework- ==0.5.1 environment.yml
Size: 93.3 MB - Last synced: about 2 months ago - Pushed: about 1 year ago
dlshriver/dnnf
Deep Neural Network Falsification- * requirements.txt
Size: 463 KB - Last synced: 3 months ago - Pushed: almost 2 years ago