Karen Leung's repositories
GeodesicCCM
Nonlinear Stabilization via Control Contraction Metrics: a Pseudospectral Approach for Computing Geodesics
turtlebot_mission_control
AA274 Final Project
AA548-spr2024
course material for AA/EE/ME 548 Spring 2024
dpax
Differentiable collision detection for capsules in JAX.
forty-jekyll-theme
A Jekyll version of the "Forty" theme by HTML5 UP.
hunav_sim
A simulator of human navigation behaviors for Robotics based on ROS2
karenleung.github.io
Code that'll help you kickstart a personal website that showcases your work as a software developer.
LinearLeastSquares.jl
Least squares solver in Julia
jaxopt
Hardware accelerated, batchable and differentiable optimizers in JAX.
NGSIM.jl
A Julia package for handling the Next Generation Simulation (NGSIM) traffic dataset
optimal-pokemon-team
Stanford CS221 Artificial Intelligence class project. By Karen Leung and Anthony Bombik
optimized_dp
Optimizing Dynamic Programming-Based Algorithms
Pigeon.jl
MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions
SciencePlots
Matplotlib styles for scientific plotting
stlhj
Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Livingston, and Marco Pavone.
stljax
stlcg implemented with jax
TensorFlow.jl
A Julia wrapper for TensorFlow