GitHub repository: BachirCoder/PyGlade
Description: This is an independent Python implementation of the technique described in "Synthesizing Program Input Grammars" by Bastani et al.