Verilog/VHDL parser preprocessor and code generator for C++/Python based on ANTL4; hs-to-coq. Convert Haskell source code to Coq source code; ... Python module for creating GDSII stream files, usually ...