Skip to content

@sisl Stanford Intelligent Systems Laboratory

Change the repository type filter

All

    Repositories list

    253 repositories

    • AA228V.jl

      Public
      Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms
      Julia
      •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • CGS_CCS

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Nov 25, 2024Nov 25, 2024

    • SatelliteDynamics.jl

      Public
      SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
      Julia
      •
      MIT License
      •7•57•1•1•Updated Nov 25, 2024Nov 25, 2024

    • Crux.jl

      Public
      Julia library for deep reinforcement learning
      Julia
      •
      MIT License
      •10•46•2•2•Updated Nov 24, 2024Nov 24, 2024

    • SPAIS.jl

      Public
      0•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • ASTPrompter

      Public
      Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts.
      Python
      •0•2•0•0•Updated Nov 21, 2024Nov 21, 2024

    • ExpFamilyPCA.jl

      Public
      A Julia package for exponential family principal component analysis (EPCA).
      machine-learningcompressionreinforcement-learningjuliasignal-processingpcadimensionality-reductionprincipal-component-analysiscompression-algorithminterpretability
      Jupyter Notebook
      •
      MIT License
      •1•4•3•0•Updated Nov 19, 2024Nov 19, 2024

    • WildcardArrays.jl

      Public
      Compact representations of multidimensional arrays
      Julia
      •
      MIT License
      •0•2•2•1•Updated Nov 18, 2024Nov 18, 2024

    • sisl-deadlines

      Public
      ⏰ SISL conference deadline countdowns
      JavaScript
      •975•7•0•0•Updated Nov 18, 2024Nov 18, 2024

    • GaussianFilters.jl

      Public
      Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHD
      Jupyter Notebook
      •
      MIT License
      •11•45•14•1•Updated Nov 15, 2024Nov 15, 2024

    • OVERTVerify.jl

      Public
      Jupyter Notebook
      •
      MIT License
      •0•7•2•0•Updated Nov 14, 2024Nov 14, 2024

    • ground-station-optimizer

      Public
      Optimal selection of ground station providers and networks — 2025 IEEE Aerospace Conference
      Python
      •
      MIT License
      •1•0•0•0•Updated Oct 30, 2024Oct 30, 2024

    • AA120Q

      Public
      AA120Q Course Materials
      Julia
      •8•28•0•0•Updated Oct 24, 2024Oct 24, 2024

    • MultiAgentPOMDPProblems.jl

      Public
      Julia
      •0•1•1•1•Updated Oct 21, 2024Oct 21, 2024

    • AA228-CS238-Student

      Public
      Starter code and data files for AA228/CS238 at Stanford University, Autumn 2021
      Julia
      •127•22•0•0•Updated Oct 18, 2024Oct 18, 2024

    • BayesianSafetyValidation.jl

      Public
      Estimate probability of failure using reframed Bayesian optimization
      Jupyter Notebook
      •2•7•0•0•Updated Oct 17, 2024Oct 17, 2024

    • InformativePathPlanning

      Public
      Julia
      •1•1•0•0•Updated Oct 3, 2024Oct 3, 2024

    • DividedRectangles.jl

      Public
      Divided Rectangles global optimization method
      Julia
      •
      MIT License
      •0•1•0•0•Updated Sep 22, 2024Sep 22, 2024

    • PyroRL

      Public
      An RL environment made for wildfire evacuation.
      Python
      •
      MIT License
      •0•16•2•0•Updated Sep 18, 2024Sep 18, 2024

    • AA228Student.jl

      Public archive
      Stanford University's AA228/CS238 student project workspace (Autumn 2019)
      Julia
      •7•5•0•0•Updated Sep 12, 2024Sep 12, 2024

    • Kov.jl

      Public
      Black-box red teaming/jailbreaking of large language models (LLMs) using MDPs
      Julia
      •
      MIT License
      •0•4•0•0•Updated Sep 11, 2024Sep 11, 2024

    • ExprOptimization.jl

      Public
      Algorithms for optimization of Julia expressions
      Jupyter Notebook
      •
      Other
      •11•44•0•0•Updated Sep 6, 2024Sep 6, 2024

    • SignalTemporalLogic.jl

      Public
      Signal temporal logic (STL) formulas and robustness in Julia
      Julia
      •
      Other
      •1•9•6•0•Updated Aug 27, 2024Aug 27, 2024

    • XPlaneConnectX

      Public
      Python and Julia code for interfacing with X-Plane through UDP; similarly to XPlaneConnect, but also works for X-Plane 12.
      Julia
      •
      MIT License
      •0•15•0•0•Updated Aug 10, 2024Aug 10, 2024

    • SBO_AIPPMS

      Public
      Gaussian Process-based Adaptive Informative Path Planning with Multimodal Sensing
      Julia
      •
      MIT License
      •1•8•0•0•Updated Aug 8, 2024Aug 8, 2024

    • POMDPModelChecking.jl

      Public
      Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
      Julia
      •
      Other
      •3•15•1•0•Updated Aug 8, 2024Aug 8, 2024

    • ConstrainedZero.jl

      Public
      Chance-constrained POMDP solver integrated into POMDPs.jl
      0•3•0•0•Updated Aug 7, 2024Aug 7, 2024

    • GridInterpolations.jl

      Public
      Multidimensional grid interpolation in arbitrary dimensions
      Julia
      •
      Other
      •12•52•7•2•Updated Jul 14, 2024Jul 14, 2024

    • DiFS

      Public
      Diffusion-based Failure Sampling
      Python
      •
      MIT License
      •1•4•0•0•Updated Jul 2, 2024Jul 2, 2024

    • SceneInformer

      Public
      This is the official implementation of the paper "Scene Informer: Anchor-based Occlusion Inference and Trajectory Prediction in Partially Observable Environments" by Bernard Lange, Jiachen Li, and Mykel J. Kochenderfer.
      autonomous-drivingtrajectory-predictionocclusion-inference
      Jupyter Notebook
      •
      MIT License
      •5•26•1•0•Updated Jun 28, 2024Jun 28, 2024