GitHub repository: kc-ml2/socket-stoke
Primary language: C++
Description: STOKE: A stochastic superoptimizer and program synthesizer