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
- XPlaneConnectX Public
Python and Julia code for interfacing with X-Plane through UDP; similarly to XPlaneConnect, but also works for X-Plane 12.
sisl/XPlaneConnectX’s past year of commit activity - SatelliteDynamics.jl Public
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
sisl/SatelliteDynamics.jl’s past year of commit activity - AA228VProjects Public
Programming projects for Stanford's AA228V/CS238V Validation of Safety-Critical Systems
sisl/AA228VProjects’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 - zero_order_rnn Public
This is the official repo of "Scaling Recurrent Neural Networks to a Billion Parameters with Zero-Order Optimization"
sisl/zero_order_rnn’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
Top languages
Loading…
Most used topics
Loading…