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
Showing 10 of 250 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 - MultiAgentPOMDPProblems.jl Public
sisl/MultiAgentPOMDPProblems.jl’s past year of commit activity - BayesianSafetyValidation.jl Public
Estimate probability of failure using reframed Bayesian optimization
sisl/BayesianSafetyValidation.jl’s past year of commit activity - ground-station-optimizer Public Forked from duncaneddy/ground-station-optimizer
Optimal selection of ground station providers and networks — 2025 IEEE Aerospace Conference
sisl/ground-station-optimizer’s past year of commit activity - InformativePathPlanning Public
sisl/InformativePathPlanning’s past year of commit activity