Pinned Loading
Repositories
Loading
Type
Select type
Language
All
Public
Sources
Forks
Archived
Mirrors
Templates
Select language
Sort
All
Assembly
C
C++
CMake
Coq
CSS
Dockerfile
Go
Haskell
HTML
Isabelle
Jupyter Notebook
Makefile
Nix
Python
Ruby
Rust
Scala
Shell
Starlark
SystemVerilog
Tcl
TeX
TypeScript
Verilog
VHDL
Select order
Last updated
Name
Stars
Showing 10 of 163 repositories
- verilator Public Forked from verilator/verilator
Verilator open-source SystemVerilog simulator and lint system
- dvsim Public
DVSim is a build and run system written in Python that runs a variety of EDA tool flows
- ibex Public
Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…