timothy-king/telescope-exec
A collection of star exec-scripts and statistics collection tools for star-exec.
Developer Profile
timothy-king
Discovered public repositories for timothy-king in the GitHub catalog.
timothy-king/glpk-cut-log
A fork of glpk that includes additional logging features for how cuts were generated.
timothy-king/simple-benchmarking
A simple MySQL based bench marking framework.
timothy-king/simple-stats
Scripts for handling a simple MySQL based regression and statistics database.
timothy-king/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
timothy-king/SummerClass11
Public repository.
timothy-king/Boruvka
An implementation of Boruvka's algorithm in C.