Skip to content

@sisl Stanford Intelligent Systems Laboratory

Change the repository type filter

All

    Repositories list

    251 repositories

    • ASTPrompter

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

    • SatelliteDynamics.jl

      Public
      SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
      Julia
      •
      MIT License
      •7•57•1•0•Updated Nov 15, 2024Nov 15, 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•44•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

    • 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•3•3•1•Updated Nov 10, 2024Nov 10, 2024

    • CGS_CCS

      Public
      Julia
      •0•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • sisl-deadlines

      Public
      ⏰ SISL conference deadline countdowns
      JavaScript
      •971•7•0•0•Updated Nov 4, 2024Nov 4, 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•6•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

    • ventilators

      Public
      Code for the paper "Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics"
      Python
      •0•0•0•0•Updated Jun 26, 2024Jun 26, 2024

    • CollisionAvoidancePOMDPs.jl

      Public
      Aircraft collision avoidance POMDP in POMDPs.jl
      Julia
      •1•4•0•0•Updated Jun 24, 2024Jun 24, 2024

    • tufte_algorithms_book

      Public template
      A template for textbooks in the same style as Algorithms for Optimization
      TeX
      •66•352•9•0•Updated Jun 20, 2024Jun 20, 2024

    • Spot.jl

      Public
      Julia wrapper for the Spot LTL and automata manipulation library
      Julia
      •
      GNU General Public License v3.0
      •1•17•0•0•Updated Jun 13, 2024Jun 13, 2024