Pinned Repositories
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
cv-zach
Create a Healy-style CV in latex without having to tweak latex files. This fork uses biblatex to generate the bibliography and includes links to philpapers and Google Scolar citation counts.
es140x22
Vanderbilt University ES140x-09 and 13 for fall 2022: example code, etc.
HSCC_2020
Source code for the HSCC 2020 website.
hynger
hautlearn
hynger
hyst
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
nnv
Neural Network Verification Software Tool
rtreach
ttj's Repositories
ttj/es140x22
Vanderbilt University ES140x-09 and 13 for fall 2022: example code, etc.
ttj/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
ttj/cv-zach
Create a Healy-style CV in latex without having to tweak latex files. This fork uses biblatex to generate the bibliography and includes links to philpapers and Google Scolar citation counts.
ttj/HSCC_2020
Source code for the HSCC 2020 website.
ttj/hynger
ttj/hyst
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
ttj/invpend
Automatically exported from code.google.com/p/invpend
ttj/matlabcontrol
Automatically exported from code.google.com/p/matlabcontrol
ttj/MSS
Marine Systems Simulator (MSS)
ttj/nnv
Neural Network Verification Software Tool
ttj/nxtosek-giotto
Automatically exported from code.google.com/p/nxtosek-giotto
ttj/pessoa
Automatically exported from code.google.com/p/pessoa
ttj/scholar.py
A parser for Google Scholar, written in Python
ttj/scholarly
Retrieve author and publication information from Google Scholar in a friendly, Pythonic way