pettni

smooth

Lie theory for robotics

smooth_feedback

Control and estimation on Lie groups

um-thesis

Latex Ph.D. thesis template for the University of Michigan

arcs

Abstraction-refinement synthesis for temporal logic specifications

ezconfig

Instantiate C++ Objects from yaml and json

jpsl

Jump-point search in three dimensions

mdp_network

Modeling and solutions of stochastic dynamic programming problems

lp2d

Two-dimensional linear programming

palette

A beamerposter theme

scr_website

Static website for academic conferences built with Jekyll

tulip-examples

Examples of discrete synthesis using the TuLiP toolbox

academic_homepage

pcis

Tool for manipulation of polyhedral controlled-invariant sets

pdf-abstraction

Now developed in the mdp_network repository

posipoly

POSItive POLYnomial optimization (sums of squares, sdsos) for Python

academic_homepage2

Academic homepage template built with Angular and Bootstrap

aoc2023

Advent of code

autodiff

automatic differentiation made easier for C++

CMake

Mirror of CMake upstream repository

dotfiles

Readme in .yadm/

manif

A small c++11 header-only library for Lie theory.

mkz

Polysync and Matlab-based control software for a Lincoln MKZ

pettni.github.io

rclcpp

rclcpp (ROS Client Library for C++)

separable_invariance

A method to synthesize separable invariant sets

Sophus

C++ implementation of Lie Groups using Eigen.

sparse

Sparse multi-dimensional arrays for the PyData ecosystem

sublime_snippets

Personal snippets for Sublime text (mostly LaTeX and Matlab)

tinkering

Experimentation and learning

Ultra-Square-Catcher-USC-

You are a green square catcher. Your goal is to catch blue squares in order to increase your score. But be carefull: the evil red square is jealous and wants to steal your score points !