| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| sisl/NeuralVerification.jl | 215 | 0 | 0 | over 2 years ago | 0 | 35 | mit | Julia | ||
| Methods to soundly verify deep neural networks | ||||||||||
| verivital/nnv | 88 | 0 | 0 | over 2 years ago | 0 | 12 | ||||
| Neural Network Verification Software Tool | ||||||||||
| TrustAI/DeepGO | 20 | 0 | 0 | about 6 years ago | 0 | 1 | bsd-3-clause | MATLAB | ||
| Reachability Analysis of Deep Neural Networks with Provable Guarantees | ||||||||||
| JmfanBU/ReachNNStar | 14 | 0 | 0 | about 3 years ago | 0 | 3 | other | C++ | ||
| Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs) | ||||||||||
| pmusau17/rtreach_f1tenth | 5 | 0 | 0 | over 4 years ago | 0 | 0 | Jupyter Notebook | |||
| real time reachability for the f1Tenth platform | ||||||||||
