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 - AA228-CS238-Student Public
Starter code and data files for AA228/CS238 at Stanford University, Autumn 2021
sisl/AA228-CS238-Student’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 - StanfordAA228V.jl Public
Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms
sisl/StanfordAA228V.jl’s past year of commit activity - LifeDetection Public
Autonomy for the Enceladus Orbilander's proposed Life Detection instrument suite. In partnership with NASA Ames Intelligent Systems Division.
sisl/LifeDetection’s past year of commit activity - distribution_based_control Public
sisl/distribution_based_control’s past year of commit activity