GitHub repository: tmichalak/prjxray
Primary language: Coq
Description: Documenting the Xilinx 7-series bit-stream format.