ttj Goto Github PK

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

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