Skip to content
View timtro's full-sized avatar
33 followers · 72 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@Trellis-Transit

Block or report timtro

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • .dotfiles Public

    My configuration dot-files.

    Python 1 Updated Aug 10, 2024

  • tfreq Public

    Software to compute vibrational density of states from molecular dynamics data.

    C 3 Updated Jun 11, 2024

  • glslView-nvim Public

    Lua 32 5 MIT License Updated Feb 12, 2024

  • phd-thesis-demos Public

    ct-control-program-cpp

    C MIT License Updated Oct 20, 2023

  • bibtex Public

    Personal content from my `texmf/bibtex` directory.

    TeX Apache License 2.0 Updated Oct 17, 2023

  • ultimate-beamer-theme-list Public

    Forked from martinbjeldbak/ultimate-beamer-theme-list

    A collection of Beamer themes from the community

    Updated Sep 9, 2023

  • vim-latexencode Public

    Forked from Konfekt/vim-latexencode

    convert UTF-8 characters to LaTeX commandos in Vim via pylatexenc

    Vim Script Updated Aug 21, 2023

  • ct-control-program-math Public archive

    Playing around with the category theory of control programs, using Haskell, for my PhD thesis.

    Haskell MIT License Updated Dec 30, 2022

  • tfunc Public

    A Library for Functional Programming in C 17

    C 6 1 GNU Lesser General Public License v3.0 Updated Nov 24, 2022

  • pid-unfolding Public

    PID control in the style of Beckman's Kalman folding.

    C MIT License Updated Nov 14, 2022

  • catnav2 Public

    Algebraic formulation of NMPC mobile robot control: nearly functional programming

    C 4 1 GNU General Public License v3.0 Updated Oct 7, 2021

  • kalman-folding Public

    Playing with Kalman folding à la Brian Beckman.

    C 1 2 Updated Apr 9, 2021

  • awesome-tikz Public

    Forked from xiaohanyu/awesome-tikz

    A curated list of awesome TikZ documentations, libraries and resources

    Updated Apr 4, 2021

  • turtles Public

    C Updated Mar 11, 2020

  • inktex Public

    Forked from janoliver/inktex

    A LaTeX plugin for incscape.

    Python MIT License Updated Jan 15, 2020

  • 2XCompose Public

    Automated commandline tools for creating, cleaning and maintaining XCompose files.

    Python GNU General Public License v3.0 Updated Dec 17, 2019

  • compton Public

    Forked from tryone144/compton

    A compositor for X11.

    C Other Updated Nov 15, 2018

  • teaching-tools Public

    The programs I use for managing grades, generating place-cards and seating assignments for examinations and more.

    Python GNU General Public License v3.0 Updated Nov 6, 2018

  • tex Public

    Personal content from my `texmf/tex` directory.

    TeX Apache License 2.0 Updated Nov 5, 2018

  • agnoster-zsh-theme Public

    Forked from agnoster/agnoster-zsh-theme

    A ZSH theme designed to disclose information contextually, with a powerline aesthetic

    Shell Updated Jun 2, 2018

  • CCECE2016-Talk Public

    TeX MIT License Updated May 15, 2018

  • vimtex Public

    Forked from lervag/vimtex

    A modern vim plugin for editing LaTeX files.

    Vim Script MIT License Updated May 1, 2018

  • matplotlib-cpp Public

    Forked from lava/matplotlib-cpp

    Extremely simple yet powerful header-only C plotting library built on the popular matplotlib

    C MIT License Updated Mar 1, 2018

  • libertinus Public

    Forked from alerque/libertinus

    Libertinus font family

    Python Other Updated Feb 22, 2018

  • iTerm2-Color-Schemes Public

    Forked from mbadolato/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)

    Python Updated Feb 5, 2018

  • cat Public

    Forked from awgn/cat

    C 14 functional library

    C Updated Jan 24, 2018

  • kalman Public

    Forked from mherb/kalman

    Header-only C 11 Kalman Filtering Library (EKF, UKF) based on Eigen3

    C MIT License Updated Dec 16, 2017

  • pulseaudio-ctl Public

    Forked from graysky2/pulseaudio-ctl

    Control pulseaudio volume from the shell or mapped to keyboard shortcuts. No need for alsa-utils.

    Shell Updated Nov 13, 2017

  • livecode-projectile Public

    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.

    C 6 GNU General Public License v3.0 Updated Oct 20, 2017

  • matplotlib-cmaps-inkscape Public

    Program to create inkscape/gimp .gpl palette from matplotlib's cmaps.

    Python 2 GNU General Public License v3.0 Updated Sep 21, 2017