This is stars and forks stats for /verivital/nnv repository. As of 02 May, 2024 this repository has 82 stars and 43 forks.
NNV Matlab Toolbox for Neural Network Verification This toolbox implements reachability methods for analyzing neural networks and control systems with neural network controllers in the area of autonomous cyber-physical systems (CPS). Related tools and software This toolbox makes use of the neural network model transformation tool (nnmt) and for closed-loop systems analysis, the hybrid systems model transformation and translation tool (HyST), and the COntinuous Reachability Analyzer (CORA). Execution...
NNV Matlab Toolbox for Neural Network Verification This toolbox implements reachability methods for analyzing neural networks and control systems with neural network controllers in the area of autonomous cyber-physical systems (CPS). Related tools and software This toolbox makes use of the neural network model transformation tool (nnmt) and for closed-loop systems analysis, the hybrid systems model transformation and translation tool (HyST), and the COntinuous Reachability Analyzer (CORA). Execution...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
synopse/mORMot | PascalJavaScriptHTML | 756 | 0 | 314 | 0 |
pestphp/pest | PHPOther | 7.8k | 0 | 243 | 0 |
streamr-dev/streamr-docker-dev | ShellMakefile | 10 | 0 | 5 | 0 |
brycedrennan/imaginAIry | PythonMakefileDockerfile | 7.4k | 0 | 408 | 0 |
ThereforeGames/txt2mask | PythonJupyter Notebook | 481 | 0 | 37 | 0 |
D3Ext/AORT | Python | 876 | 0 | 121 | 0 |
sissbruecker/linkding | PythonHTMLJavaScript | 4.1k | +29 | 211 | +1 |
scipy/scipy | PythonFortranC | 11.8k | 0 | 4.9k | 0 |
dbolya/yolact | PythonJavaScriptShell | 4.8k | 0 | 1.3k | 0 |
Ge0rg3/requests-ip-rotator | Python | 1.1k | +4 | 120 | 0 |