timtro
PhD in ECE, Applied systems and Category theory, Computational physicist, Functional programmer, Main langs: C++, Python, Haskell. Family man by night
Pinned Repositories
2XCompose
Automated commandline tools for creating, cleaning and maintaining XCompose files.
catnav2
Algebraic formulation of NMPC mobile robot control: nearly functional programming
glslView-nvim
kalman-folding
Playing with Kalman folding à la Brian Beckman.
pid-unfolding
PID control in the style of Beckman's Kalman folding.
tfreq
Software to compute vibrational density of states from molecular dynamics data.
tfunc
A Library for Functional Programming in C++17
vme-nmpc
The Non-linear model predictive control path optimizer and tracker for Crosswing's VirtualME platform.
wiinunchuck-h
A Library for Using the Wii Nunchuk In Arduino Sketches
timtro's Repositories
timtro/glslView-nvim
timtro/tfunc
A Library for Functional Programming in C++17
timtro/catnav2
Algebraic formulation of NMPC mobile robot control: nearly functional programming
timtro/tfreq
Software to compute vibrational density of states from molecular dynamics data.
timtro/matplotlib-cmaps-inkscape
Program to create inkscape/gimp .gpl palette from matplotlib's cmaps.
timtro/.dotfiles
My configuration dot-files.
timtro/kalman-folding
Playing with Kalman folding à la Brian Beckman.
timtro/2XCompose
Automated commandline tools for creating, cleaning and maintaining XCompose files.
timtro/pid-unfolding
PID control in the style of Beckman's Kalman folding.
timtro/agnoster-zsh-theme
A ZSH theme designed to disclose information contextually, with a powerline aesthetic
timtro/awesome-tikz
A curated list of awesome TikZ documentations, libraries and resources
timtro/bibtex
Personal content from my `texmf/bibtex` directory.
timtro/cat
C++14 functional library
timtro/CCECE2016-Talk
timtro/compton
A compositor for X11.
timtro/ct-control-program-math
Playing around with the category theory of control programs, using Haskell, for my PhD thesis.
timtro/inktex
A LaTeX plugin for incscape.
timtro/iTerm2-Color-Schemes
Over 175 terminal color schemes/themes for iTerm/iTerm2 (with ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remina, Termite, XFCE, Tilda, and Terminator)
timtro/kalman
Header-only C++11 Kalman Filtering Library (EKF, UKF) based on Eigen3
timtro/libertinus
Libertinus font family
timtro/livecode-projectile
A repository for an in-class livecoding session implementing a numerical integrator. Also used as a starting point for Assignment 1, with solutions included in the `a1-solutions` branch.
timtro/matplotlib-cpp
Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib
timtro/phd-thesis-demos
ct-control-program-cpp
timtro/pulseaudio-ctl
Control pulseaudio volume from the shell or mapped to keyboard shortcuts. No need for alsa-utils.
timtro/teaching-tools
The programs I use for managing grades, generating place-cards and seating assignments for examinations and more.
timtro/tex
Personal content from my `texmf/tex` directory.
timtro/turtles
timtro/ultimate-beamer-theme-list
A collection of Beamer themes from the community
timtro/vim-latexencode
convert UTF-8 characters to LaTeX commandos in Vim via pylatexenc
timtro/vimtex
A modern vim plugin for editing LaTeX files.