YosysHQ

Yosys Headquarters Joined Jan 2018 View on GitHub

Repositories with 50+ stars

YosysHQ's repositories with their overall rank
Rank	Repository	Language	Stars
13,300	yosys Yosys Open SYnthesis Suite	C++	4,881
14,966	picorv32 PicoRV32 - A Size-Optimized RISC-V CPU	Verilog	4,398
37,677	oss-cad-suite-build Multi-platform nightly builds of open source digital design and verification tools	Shell	1,816
38,219	nextpnr nextpnr portable FPGA place and route tool	C++	1,792
56,831	icestorm Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)	Python	1,195
91,734	apicula Project Apicula 🐝: bitstream documentation for Gowin FPGAs	Python	708
112,039	sby SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows	Python	569
130,989	prjtrellis Documenting the Lattice ECP5 bit-stream format.	Python	478
146,184	arachne-pnr Place and route tool for FPGAs	C++	422
194,042	fpga-toolchain Multi-platform nightly builds of open source FPGA tools	C	306
252,349	riscv-formal RISC-V Formal Verification Framework	Verilog	224
475,347	mcy Mutation Cover with Yosys (MCY)	C++	103
475,347	nerv Naive Educational RISC V processor	SystemVerilog	103
659,230	eqy Equivalence checking with Yosys	Python	68
813,936	yosys-bigsim A collection of big designs to run post-synthesis simulations with yosys	Verilog	52

16k–25k stars: 926 organizations, including YosysHQ

top 50%top 10%top 1%top 0.1%

Stars along the bottom, and organizations in each band on a log scale

Smaller repos 362, 2%

2 more repos 120, 1%

15 repos with 50+ stars, made between 2013 and 2021

101001k10k oss-cad-suite-buildpicorv32yosys