Paul Wintz's repositories
HyEQ_Toolbox
Hybrid systems equations simulator
pwintz.github.io
Paul's Public GitHub Pages Website
AMS229
Convex Optimization
anki_physical_quantities
Anki Deck of Physical Quantities
beyondki
Prerequisite sorting for Anki decks
biped-royal
Project for ECE215.
hsl_templates
Document Templates for the Hybrid Systems Lab
Kata
My completed Katas (from http://codekata.com).
ki
Version control for Anki collections
libmpc
libmpc++ is a C++ header-only library to solve linear and non-linear MPC
mathlib4
Work in progress mathlib port for lean 4
scarab-docker
Repository creating a Docker container that runs Scarab.
SOSTOOLS
A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
SpiroJavaFxUI
A JavaFx implementation of the Spirotechnics UI
vimtex
A modern Vim and neovim filetype plugin for LaTeX files.
violin-hybrid-simulation
A simulation of a violin string with stick-slip dynamics, implemented in MATLAB with the HyEQ toolbox.