crest. CREST is a concolic test generation tool for C.
GreasySpoon. Mirror of the defunct GreasySpoon project.
rftgstats. JavaScript
htmf. C++
probability. Probabilistic reasoning and statistical analysis in TensorFlow
