Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Neuralverification.jl | 215 | 4 months ago | 35 | mit | Julia | |||||
Methods to soundly verify deep neural networks | ||||||||||
Jax_verify | 127 | 1 | 9 months ago | 1 | October 22, 2020 | 2 | apache-2.0 | Python | ||
Neural network verification in JAX | ||||||||||
Ssl_verify_fun.erl | 89 | 3,607 | 16 | a year ago | 9 | June 20, 2023 | 3 | mit | Erlang | |
Collection of ssl verification functions for Erlang | ||||||||||
Ffw | 79 | 6 years ago | 8 | gpl-3.0 | Python | |||||
A fuzzing framework for network servers | ||||||||||
Signature Recognition | 78 | 4 years ago | mit | Python | ||||||
Verify the authenticity of handwritten signatures through digital image processing and neural networks. | ||||||||||
Retinatrack | 29 | 3 years ago | 3 | apache-2.0 | Python | |||||
The pytorch implement of the retina track original paper link: https://arxiv.org/abs/2003.13870 | ||||||||||
Signet Python | 21 | 8 years ago | 7 | mit | Python | |||||
A decentralized code signing network | ||||||||||
Docker Swarm Local | 15 | 7 years ago | mit | |||||||
A single composition for running a three-node Docker Swarm on your local Docker bridge network! | ||||||||||
Network Ci | 13 | 8 years ago | Python | |||||||
Simple Cisco Tdd | 8 | 9 years ago | Python | |||||||