timothy-king

Tim King's repositories

A fork of glpk that includes additional logging features for how cuts were generated.

Language:CGPL-3.04 30

A simple MySQL based bench marking framework.

Language:JavaScript2 20

An implementation of Boruvka's algorithm in C.

Language:C1 20

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTNOASSERTION1 20

Language:CNOASSERTION100

A collection of star exec-scripts and statistics collection tools for star-exec.

Language:PythonBSD-3-Clause1 10

A fork of CVC4 for developing a theory solver for separation logic.

Language:SMTNOASSERTION000

A fuzzer for SMT-LIB v2.0.

MIT010

Language:JavaGPL-3.0010

Language:GoApache-2.0000

A standalone and lightweight C library

Language:C010

OSS-Fuzz - continuous fuzzing of open source software

Language:CApache-2.0010

Scripts for handling a simple MySQL based regression and statistics database.

010