2. SymbiyosysSymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
4. ApiculaProject Apicula 🐝: bitstream documentation for Gowin FPGAs
5. IcestormProject IceStorm - Lattice iCE40 FPGAs Bitstream Documentaion (Reverse Engineered)
6. Nextpnrnextpnr portable FPGA place and route tool