There are 1 repository under yosys-plugin topic.
Plugins for Yosys developed as part of the F4PGA project.
A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad
Yosys passes to syntheize to NaN gates (à la http://tom7.org/nand/)
A design space exploration tool for approximate circuits
Verilog linting plugin for Micro editor. Checks the syntax of the Language Verilog. Based on yosys.