Skip to content

@sisl Stanford Intelligent Systems Laboratory

Change the repository type filter

All

    Repositories list

    256 repositories

    • AA228VProjects

      Public
      Programming projects for Stanford's AA228V/CS238V Validation of Safety-Critical Systems
      Julia
      •0•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • Registry

      Public
      A julia registry for SISL's julia packages
      0•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • StanfordAA228V.jl

      Public
      Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms
      Julia
      •
      Other
      •0•1•0•0•Updated Dec 24, 2024Dec 24, 2024

    • CGS_CCS

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Dec 21, 2024Dec 21, 2024

    • LatentImportanceSampling

      Public
      Python
      •0•0•0•0•Updated Dec 20, 2024Dec 20, 2024

    • AA228VLectureNotebooks

      Public
      Notebooks paired with lectures for Stanford's AA228V course.
      Julia
      •
      MIT License
      •0•0•0•0•Updated Dec 17, 2024Dec 17, 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•2•0•Updated Dec 16, 2024Dec 16, 2024

    • NNet

      Public
      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.
      Python
      •
      MIT License
      •20•40•0•3•Updated Dec 15, 2024Dec 15, 2024

    • ASTPrompter

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

    • AA120Q

      Public
      AA120Q Course Materials
      Julia
      •8•28•0•0•Updated Dec 13, 2024Dec 13, 2024

    • SPAIS.jl

      Public
      Julia
      •
      MIT License
      •0•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • DensityIntegrator.jl

      Public
      Construct prediction sets with known probability mass for arbitrary (moderately) high-dimensional probability density functions.
      Julia
      •0•0•1•0•Updated Dec 10, 2024Dec 10, 2024

    • Gradescope.jl

      Public
      Julia interface for Gradescope autograding
      Julia
      •2•7•0•0•Updated Dec 9, 2024Dec 9, 2024

    • SignalTemporalLogic.jl

      Public
      Signal temporal logic (STL) formulas and robustness in Julia
      Julia
      •
      Other
      •1•10•6•0•Updated Dec 5, 2024Dec 5, 2024

    • Discretizers.jl

      Public
      A Julia package for data discretization and label maps
      Julia
      •
      Other
      •15•19•3•0•Updated Dec 1, 2024Dec 1, 2024

    • SatelliteDynamics.jl

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

    • Crux.jl

      Public
      Julia library for deep reinforcement learning
      Julia
      •
      MIT License
      •10•47•2•2•Updated Nov 24, 2024Nov 24, 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
      •990•8•0•0•Updated Nov 18, 2024Nov 18, 2024

    • OVERTVerify.jl

      Public
      Jupyter Notebook
      •
      MIT License
      •0•8•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

    • MultiAgentPOMDPProblems.jl

      Public
      Collection of multiagent POMDP problems used in the Dec-POMDP literature.
      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
      •128•22•0•0•Updated Oct 18, 2024Oct 18, 2024

    • BayesianSafetyValidation.jl

      Public
      Estimate probability of failure using reframed Bayesian optimization
      Jupyter Notebook
      •2•8•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•4•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•5•0•0•Updated Sep 11, 2024Sep 11, 2024