Bio: Full-stack developer, from JS to transistors. Mostly transistors these days.

A Rust HAL for your FPGA SoC

made by pepijndevos, submitted by Mai
An embedded HAL crate for LiteX cores that allows you to reuse embedded Rust crates on your custom SoC - with examples!

Open Source Formal Verification in VHDL

made by pepijndevos, submitted by porterjamesj
In this post, Pepjin demonstrates synthesizing a CPU using a hardware description language and verifying its correctness using entirely open source tools!

Dwergmuis

made by pepijndevos, submitted by davidbalbert
Pepijn made a mouse out of wood. What a cool project.