Popular repositories Loading

1. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

2. asap7sc7p5t_28 asap7sc7p5t_28 Public

   Forked from The-OpenROAD-Project/asap7sc7p5t_28

   HTML 1

3. OpenROAD-flow-scripts OpenROAD-flow-scripts Public

   Forked from The-OpenROAD-Project/OpenROAD-flow-scripts

   OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/

   Verilog

4. LeeJaKang.github.io LeeJaKang.github.io Public

   HTML

5. FasterCap FasterCap Public

   Forked from ediloren/FasterCap

   FasterCap is a powerful three- and two-dimensional capactiance extraction program.

   C++