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

ezconfig

Instantiate C++ Objects from yaml and json

arcs

Abstraction-refinement synthesis for temporal logic specifications

mdp_network

Modeling and solutions of stochastic dynamic programming problems

jpsl

Jump-point search in three dimensions

scr_website

Static website for academic conferences built with Jekyll

lp2d

Two-dimensional linear programming

palette

A beamerposter theme

pcis

Tool for manipulation of polyhedral controlled-invariant sets

academic_homepage

codecompanion.nvim

✨ AI-powered coding, seamlessly in Neovim

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

aoc2024

autodiff

automatic differentiation made easier for C++

awslib

AWS API requests from Lua

CMake

Mirror of CMake upstream repository

dotfiles

Readme in .yadm/

manif

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

pettni.github.io

rclcpp

rclcpp (ROS Client Library for C++)

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 !