Repositories list SystemVerilog
• • 1k1k forks • 3.4k3.4k stars • 1.5k1.5k issues • 378378 pull requests • Updated May 28, 2026 May 28, 2026 SystemVerilog
• 1717 forks • 3232 stars • 142142 issues • 2020 pull requests • Updated May 27, 2026 May 27, 2026 C++
• • 1616 forks • 1414 stars • 44 issues • 11 pull request • Updated May 27, 2026 May 27, 2026 SystemVerilog
• • 741741 forks • 1.9k1.9k stars • 210210 issues • 4444 pull requests • Updated May 27, 2026 May 27, 2026 Python
• • 1212 forks • 77 stars • 2727 issues • 33 pull requests • Updated May 26, 2026 May 26, 2026 C
• 4.4k4.4k forks • 11 star • 00 issues • 00 pull requests • Updated May 26, 2026 May 26, 2026 C++
• • 11 fork • 22 stars • 00 issues • 22 pull requests • Updated May 25, 2026 May 25, 2026 Isabelle
• • 2525 forks • 00 stars • 00 issues • 00 pull requests • Updated May 24, 2026 May 24, 2026 Coq
• • 265265 forks • 00 stars • 00 issues • 00 pull requests • Updated May 24, 2026 May 24, 2026 Nix
• • 1111 forks • 88 stars • 11 issue • 22 pull requests • Updated May 24, 2026 May 24, 2026 Starlark
• 33 forks • 00 stars • 11 issue • 11 pull request • Updated May 20, 2026 May 20, 2026 SystemVerilog
• • 1010 forks • 2121 stars • 22 issues • 00 pull requests • Updated May 19, 2026 May 19, 2026 Go
• • 1010 forks • 1515 stars • 1717 issues • 22 pull requests • Updated May 18, 2026 May 18, 2026 66 forks • 00 stars • 00 issues • 00 pull requests • Updated May 18, 2026 May 18, 2026 Assembly
• • 1414 forks • 00 stars • 00 issues • 00 pull requests • Updated May 11, 2026 May 11, 2026 Python
• • 5959 forks • 00 stars • 00 issues • 00 pull requests • Updated Apr 29, 2026 Apr 29, 2026 Creative Commons Attribution 4.0 International
• 132132 forks • 508508 stars • 1919 issues • 22 pull requests • Updated Apr 21, 2026 Apr 21, 2026 C
• GNU General Public License v2.0
• 22 forks • 00 stars • 00 issues • 11 pull request • Updated Apr 20, 2026 Apr 20, 2026 C++
• • 3535 forks • 5353 stars • 1111 issues • 99 pull requests • Updated Apr 14, 2026 Apr 14, 2026 • 00 forks • 00 stars • 00 issues • 00 pull requests • Updated Apr 14, 2026 Apr 14, 2026 C
• • 1.1k1.1k forks • 2020 stars • 00 issues • 33 pull requests • Updated Mar 16, 2026 Mar 16, 2026 Isabelle
• • 155155 forks • 00 stars • 00 issues • 00 pull requests • Updated Feb 27, 2026 Feb 27, 2026 Shell
• 2222 forks • 4848 stars • 33 issues • 00 pull requests • Updated Feb 24, 2026 Feb 24, 2026 C
• • 6.8k6.8k forks • 99 stars • 1212 issues • 55 pull requests • Updated Feb 19, 2026 Feb 19, 2026 SystemVerilog
• • 821821 forks • 11 star • 00 issues • 00 pull requests • Updated Feb 6, 2026 Feb 6, 2026 C
• • 7777 forks • 9797 stars • 1313 issues • 77 pull requests • Updated Jan 21, 2026 Jan 21, 2026 SystemVerilog
• • 11 fork • 00 stars • 00 issues • 00 pull requests • Updated Jan 7, 2026 Jan 7, 2026 C++
• 17k17k forks • 22 stars • 00 issues • 00 pull requests • Updated Jan 6, 2026 Jan 6, 2026 Rust
• 55 forks • 1616 stars • 22 issues • 00 pull requests • Updated Nov 18, 2025 Nov 18, 2025 Jupyter Notebook
• • 3434 forks • 4040 stars • 2727 issues • 55 pull requests • Updated Nov 3, 2025 Nov 3, 2025 ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.