Pinned Repositories
aa228-notebook
IJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University
BayesNets.jl
Bayesian Networks for Julia
gail-driver
MADRL
Repo containing code for multi-agent deep reinforcement learning (MADRL).
MPOPIS
Adaptive importance sampling modification to MPPI
MultiAgentAllocationTransit.jl
Efficient Large-Scale Multi-Drone Delivery Using Transit Networks
NeuralVerification.jl
Methods to soundly verify deep neural networks
ngsim_env
Learning human driver models from NGSIM data with imitation learning.
OptimizationCourse
tufte_algorithms_book
A template for textbooks in the same style as Algorithms for Optimization
Stanford Intelligent Systems Laboratory's Repositories
sisl/SatelliteDynamics.jl
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
sisl/Crux.jl
Julia library for deep reinforcement learning
sisl/GaussianFilters.jl
Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHD
sisl/NNet
Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.
sisl/AA120Q
AA120Q Course Materials
sisl/AA228-CS238-Student
Starter code and data files for AA228/CS238 at Stanford University, Autumn 2021
sisl/Discretizers.jl
A Julia package for data discretization and label maps
sisl/PyroRL
An RL environment made for wildfire evacuation.
sisl/SignalTemporalLogic.jl
Signal temporal logic (STL) formulas and robustness in Julia
sisl/BayesianSafetyValidation.jl
Estimate probability of failure using reframed Bayesian optimization
sisl/OVERTVerify.jl
sisl/sisl-deadlines
:alarm_clock: SISL conference deadline countdowns
sisl/Gradescope.jl
Julia interface for Gradescope autograding
sisl/AA228Student.jl
Stanford University's AA228/CS238 student project workspace (Autumn 2019)
sisl/Kov.jl
Black-box red teaming/jailbreaking of large language models (LLMs) using MDPs
sisl/ExpFamilyPCA.jl
A Julia package for exponential family principal component analysis (EPCA).
sisl/ASTPrompter
Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts.
sisl/WildcardArrays.jl
Compact representations of multidimensional arrays
sisl/DividedRectangles.jl
Divided Rectangles global optimization method
sisl/InformativePathPlanning
sisl/MultiAgentPOMDPProblems.jl
Collection of multiagent POMDP problems used in the Dec-POMDP literature.
sisl/StanfordAA228V.jl
Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms
sisl/AA228VLectureNotebooks
Notebooks paired with lectures for Stanford's AA228V course.
sisl/AA228VProjects
Programming projects for Stanford's AA228V/CS238V Validation of Safety-Critical Systems
sisl/CGS_CCS
sisl/DensityIntegrator.jl
Construct prediction sets with known probability mass for arbitrary (moderately) high-dimensional probability density functions.
sisl/ground-station-optimizer
Optimal selection of ground station providers and networks — 2025 IEEE Aerospace Conference
sisl/LatentImportanceSampling
sisl/Registry
A julia registry for SISL's julia packages
sisl/SPAIS.jl