Pinned

1. svg2gcode svg2gcode Public

   Convert vector graphics to g-code for pen plotters, laser engravers, and other CNC machines

   G-code 221 45

2. hdl-util/hdmi hdl-util/hdmi Public

   Send video/audio over HDMI on an FPGA

   SystemVerilog 1k 107

3. git-lfs-ipfs git-lfs-ipfs Public

   Use IPFS as a git-lfs endpoint

   Rust 52 6

4. hdl-util/sdram-controller hdl-util/sdram-controller Public

   Generic FPGA SDRAM controller, originally made for AS4C4M16SA

   Verilog 77 10

5. hdl-util/mipi-demo hdl-util/mipi-demo Public

   MIPI CSI-2 + MIPI CCS Demo

   Verilog 62 21

6. prove-rs/z3.rs prove-rs/z3.rs Public

   Rust bindings for the Z3 solver.

   Rust 316 103