This is stars and forks stats for /JuliaReach/ARCH2023_AINNCS_RE repository. As of 03 May, 2024 this repository has 1 stars and 0 forks.
ARCH2023 AINNCS This is the JuliaReach repeatability evaluation (RE) package for the ARCH-COMP 2023 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants of the 7th International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP '23). Note: Running the full benchmark suite should take no more than two hours with a reasonable internet connection. Installation There are two ways to install and run this RE: either...
ARCH2023 AINNCS This is the JuliaReach repeatability evaluation (RE) package for the ARCH-COMP 2023 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants of the 7th International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP '23). Note: Running the full benchmark suite should take no more than two hours with a reasonable internet connection. Installation There are two ways to install and run this RE: either...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
JuliaPackaging/SimpleBufferStream.jl | Julia | 4 | 0 | 2 | 0 |
mfherbst/julia-for-materials | Julia | 25 | 0 | 1 | 0 |
googlesamples/mediapipe | Jupyter NotebookJavaScriptKotlin | 615 | 0 | 179 | 0 |
unskript/Awesome-CloudOps-Automation | Jupyter NotebookPythonOther | 252 | 0 | 30 | 0 |
kamadorueda/alejandra | NixRustJavaScript | 476 | 0 | 32 | 0 |
OleksiyPenkov/MyHomeLib | PascalOther | 118 | 0 | 37 | 0 |
kreneskyp/ix | PythonJavaScriptMakefile | 762 | 0 | 80 | 0 |
OpenGVLab/InternGPT | PythonCudaOther | 2.9k | 0 | 217 | 0 |
LmeSzinc/StarRailCopilot | PythonTypeScriptVue | 1.1k | 0 | 56 | 0 |
UMich-CURLY/Lie-MPC-AMVs | RoffSWIGC++ | 20 | 0 | 1 | 0 |