A hardware badge for a hardware hackathon

The schematic and Bill of Material for the BBC micro:bit V2

A curated list of BBC micro:bit resources.

FMCW radar design files

Two RX-channel 6 GHz FMCW radar design files

SD-Card controller, using either SPI, SDIO, or eMMC interfaces

Second version of homemade 30 MHz - 6 GHz VNA

Verilog implementation of PAL, NTSC and SECAM color encoding

OscillatorIMP ecosystem for the digital characterization of ultrastable oscillators and Software Defined Radio (SDR) frontend processing

Software Defined Radio implementation of a Two Way Satellite Time and Frequency Transfer signal

OscillatorIMP ecosystem FPGA IP sources

Think DSP: Digital Signal Processing in Python, by Allen B. Downey.

Haskell to C compiler via Categorifier

Interpret Haskell programs into any cartesian closed category.

VELDT Blinker Example in Clash

Where Lions Roam: Haskell & Hardware on VELDT

Verilog and VHDL for book

Cλash/Haskell FPGA-based SKI calculus evaluator

CPU Building Tutorial

Motion controller software using script to organize workflow.

A digital logic designer and circuit simulator.

IDF component for using rLottie in ESP32 projects.

Touch Terrain: A python app to create 3D printable terrain models (STL/OBJ) from only elevation data (via Google Earth Engine) or from a local geotiff. Has been used for CNC terrain models. Runs as…

A PyTorch Library for Accelerating 3D Deep Learning Research

🆙 Upscayl - #1 Free and Open Source AI Image Upscaler for Linux, MacOS and Windows.

An AI powered image editing tool for Linux desktops to enhance lighting on people in photographs.

[CVPR'25] Official Implementations for Paper - MagicQuill: An Intelligent Interactive Image Editing System

Official repo for paper "Structured 3D Latents for Scalable and Versatile 3D Generation" (CVPR'25).

NVR with realtime local object detection for IP cameras