It also seems to re-use the name of a (from what I can tell) separate project:

https://github.com/lnis-uofu/OpenFPGA

https://openfpga.readthedocs.io/en/master/