timothy-king/telescope-exec
A collection of star exec-scripts and statistics collection tools for star-exec.
Public GitHub Catalog
Discovered Sep 26, 2026
timothy-king / simple-stats
Scripts for handling a simple MySQL based regression and statistics database.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7759834GitHub System ID
timothy-kingOrganization / User
PublicVisibility
ActiveCatalog Status
More from timothy-king
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/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.