Popular repositories Loading
-
tufte_algorithms_book
tufte_algorithms_book Public templateA template for textbooks in the same style as Algorithms for Optimization
-
NeuralVerification.jl
NeuralVerification.jl PublicMethods to soundly verify deep neural networks
-
-
aa228-notebook
aa228-notebook PublicIJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University
Repositories
- SatelliteDynamics.jl Public
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
sisl/SatelliteDynamics.jl’s past year of commit activity - StanfordAA228V.jl Public
Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms
sisl/StanfordAA228V.jl’s past year of commit activity - CS238PeerReviews Public
Repo that contains all the files for handling the peer reviews for the CS238 final project.
sisl/CS238PeerReviews’s past year of commit activity - astra-rl Public
The Adaptive Stress Testing for Robust AI (ASTRA) toolbox provides tooling to support model developers and testing in the full life cycle of making more robust AI Systems through the application of adaptive stress testing and adversarial training.
sisl/astra-rl’s past year of commit activity - AquaOpt.jl Public
sisl/AquaOpt.jl’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…