This is the F1 Fuzzer described in the paper Building Fast Fuzzers.
If you use F1 in a production setting, if you found bugs with it (yay!), or if you have any suggestions to share, please let us know โ your experience is very valuable for us. Thanks!