Repositories list SystemVerilog
• 1818 forks • 3333 stars • 115115 issues • 2222 pull requests • Updated Jun 29, 2026 Jun 29, 2026 SystemVerilog
• • 1.1k1.1k forks • 3.5k3.5k stars • 1.5k1.5k issues • 397397 pull requests • Updated Jun 29, 2026 Jun 29, 2026 Isabelle
• • 2525 forks • 00 stars • 00 issues • 00 pull requests • Updated Jun 28, 2026 Jun 28, 2026 Coq
• • 273273 forks • 00 stars • 00 issues • 11 pull request • Updated Jun 28, 2026 Jun 28, 2026 C
• 4.5k4.5k forks • 11 star • 00 issues • 00 pull requests • Updated Jun 24, 2026 Jun 24, 2026 66 forks • 00 stars • 00 issues • 00 pull requests • Updated Jun 24, 2026 Jun 24, 2026 C
• • 44 forks • 00 stars • 00 issues • 00 pull requests • Updated Jun 24, 2026 Jun 24, 2026 C
• • 63k63k forks • 11 star • 00 issues • 11 pull request • Updated Jun 24, 2026 Jun 24, 2026 Starlark
• 55 forks • 00 stars • 11 issue • 22 pull requests • Updated Jun 23, 2026 Jun 23, 2026 Python
• • 1717 forks • 88 stars • 3131 issues • 11 pull request • Updated Jun 22, 2026 Jun 22, 2026 • 00 forks • 11 star • 00 issues • 00 pull requests • Updated Jun 22, 2026 Jun 22, 2026 C
• • 6.9k6.9k forks • 99 stars • 1212 issues • 66 pull requests • Updated Jun 19, 2026 Jun 19, 2026 C++
• • 11 fork • 22 stars • 00 issues • 00 pull requests • Updated Jun 18, 2026 Jun 18, 2026 SystemVerilog
• • 758758 forks • 1.9k1.9k stars • 208208 issues • 4040 pull requests • Updated Jun 11, 2026 Jun 11, 2026 Python
• • 11 fork • 00 stars • 00 issues • 00 pull requests • Updated Jun 11, 2026 Jun 11, 2026 Nix
• • 1212 forks • 88 stars • 11 issue • 22 pull requests • Updated Jun 3, 2026 Jun 3, 2026 C++
• • 1616 forks • 1414 stars • 33 issues • 11 pull request • Updated Jun 1, 2026 Jun 1, 2026 C
• • 1.1k1.1k forks • 2020 stars • 00 issues • 22 pull requests • Updated May 28, 2026 May 28, 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 Assembly
• • 1111 forks • 00 stars • 00 issues • 00 pull requests • Updated May 11, 2026 May 11, 2026 Python
• • 5858 forks • 00 stars • 00 issues • 00 pull requests • Updated Apr 29, 2026 Apr 29, 2026 Creative Commons Attribution 4.0 International
• 133133 forks • 514514 stars • 1919 issues • 33 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++
• • 3636 forks • 5454 stars • 1111 issues • 1010 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 Isabelle
• • 158158 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 SystemVerilog
• • 838838 forks • 11 star • 00 issues • 00 pull requests • Updated Feb 6, 2026 Feb 6, 2026 C
• • 8080 forks • 9797 stars • 1313 issues • 77 pull requests • Updated Jan 21, 2026 Jan 21, 2026 ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.