ttj

es140x22

Vanderbilt University ES140x-09 and 13 for fall 2022: example code, etc.

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.

HSCC_2020

Source code for the HSCC 2020 website.

hynger

hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

invpend

Automatically exported from code.google.com/p/invpend

matlabcontrol

Automatically exported from code.google.com/p/matlabcontrol

MSS

Marine Systems Simulator (MSS)

nnv

Neural Network Verification Software Tool

nxtosek-giotto

Automatically exported from code.google.com/p/nxtosek-giotto

pessoa

Automatically exported from code.google.com/p/pessoa

scholar.py

A parser for Google Scholar, written in Python

scholarly

Retrieve author and publication information from Google Scholar in a friendly, Pythonic way