-
Marabou Public
Forked from NeuralNetworkVerification/MarabouNeural Network Verification Tool
C++ Other UpdatedDec 26, 2024 -
alpha-beta-CROWN Public
Forked from Verified-Intelligence/alpha-beta-CROWNalpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
Python Other UpdatedDec 22, 2024 -
-
-
-
-
-
-
-
-
-
Test_REST_API_Server_Django Public
test REST API server for serving db data to React application
Python UpdatedMay 26, 2022 -
deepxplore Public
Forked from peikexin9/deepxploreDeepXplore code release
Python MIT License UpdatedMar 17, 2022 -
HUFS Missing Semester - Version control assignment repository
36 UpdatedFeb 11, 2022 -
pmodhygro Public
Package for get data from PmodHYGRO that is relative humidity sensor with integrated temperature sensor
-
-
-
-
{{ message }}