joris997's Stars
Tim-Salzmann/l4casadi
Use PyTorch Models with CasADi for data-driven optimization or learning-based optimal control. Supports Acados.
SFU-MARS/optimized_dp
Optimizing Dynamic Programming-Based Algorithms
hallfjonas/LCQPow
LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints
OPT4SMART/disropt
DISROPT: A Python framework for distributed optimization
HJReachability/beacls
StanfordASL/stlhj
Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Livingston, and Marco Pavone.
MOCAP4ROS2-Project/mocap4ros2_qualisys
textext/textext
Re-editable LaTeX/ typst graphics for Inkscape
lava/matplotlib-cpp
Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib
sisl/OVERT.jl
Relational piecewise-linear overapproximations of multi-dimensional functions
nellro/time-robust-control
ZJU-FAST-Lab/ego-planner-swarm
An efficient single/multi-agent trajectory planner for multicopters.
mpetersen94/gcs
cornellius-gp/gpytorch
A highly efficient implementation of Gaussian Processes in PyTorch
KTH-DHSG/corridor_mpc
Towards safe and optimal trajectory tracking control.
ignaciotb/UWExploration
AtsushiSakai/PythonRobotics
Python sample codes for robotics algorithms.
abraunegg/onedrive
OneDrive Client for Linux
sundw2014/STLPlanning
Path planning from STL (Signal Temporal Logic) specifications
StanfordASL/stlcg
WeiWANG0608/MAS_MITL_Communication
ange-yaghi/engine-sim
Combustion engine simulator that generates realistic audio.
osudrl/cassie-mujoco-sim
A simulation library for Agility Robotics' Cassie robot using MuJoCo
RobotLocomotion/drake
Model-based design and verification for robotics.
dsadigh/CrSPrSTL
Controller Synthesis for Probabilistic Signal Temporal Logic Specifications
AliBaheri/Safe-Reinforcement-Learning
The aim of this repo is to bring ideas and relevant literature relating to Safe-RL in the context of autonomous vehicles.
davidrmiller/biosim4
Biological evolution simulator
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
rgw3d/PiQuadcopter
Websocket and MultiWii serial code for the quadcopter that will run on a Raspberry Pi
Figma-Linux/figma-linux
Figma is the first interface design tool based in the browser, making it easier for teams to create software. Join us in https://t.me/figma_linux