Pinned Loading

1. tclint tclint Public

   Modern dev tools for Tcl • includes a linter, formatter, and editor integration.

   Python 93 12

2. lemoncore lemoncore Public

   Simple RISC-V processor for FPGAs 🍋 🤖

   Verilog 21

3. siliconcompiler/siliconcompiler siliconcompiler/siliconcompiler Public

   Modular hardware build system

   Python 1.1k 124

4. siliconcompiler/zerosoc siliconcompiler/zerosoc Public

   Demo SoC for SiliconCompiler.

   SystemVerilog 63 10

5. zeroasiccorp/switchboard zeroasiccorp/switchboard Public

   Communication framework for RTL simulation and emulation.

   Python 309 26

6. kronos kronos Public

   My MEng thesis code - verifying a security property for an SoC with Rosette

   Racket 17