Stars
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
A repository for academic works on RTL generation and Analog circuit generation based on LLM
Ease the Life of Verification Engineers by helping them to analyze and understand failing simulation faster
Making Eurorack Cases based on the IKEA Tavelan Boxes and some 3D printing
MCP server for AI agents to explore SystemVerilog, Verilog and VHDL (beta) designs: trace connectivity, walk hierarchy, jump to source - without pasting RTL into context. Built on najaeda.
tsirysndr / rockboxd
Forked from Rockbox/rockboxA modern, network-enabled music player platform built on Rockbox technology https://www.rockbox.org
55nm CMOS Open Source PDK for Digital, Analog, and Mixed-Signal Circuit Design. It supports an open-source RTL2GDS workflow for education, research, and silicon prototyping.
AI agents running research on single-GPU nanochat training automatically
Port of Andrej Karpathy's python microGPT to Rust
MCP server for Japan’s MLIT Real Estate Information Library API (35 public endpoints).
An ATTiny85 based variable-rate (with long-term accuracy) clock movement
The Belfry OpenScad Library, v2.0. An OpenSCAD library of shapes, masks, and manipulators to make working with OpenSCAD easier. BETA
VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!
A ground-up rebuild of the stock gridfinity bins in OpenSCAD
A variation of gridfinity to allow half-unit in baseplate and bins in OpenSCAD
Files for Laser Cutting Bins, Trays and much more that fit the Gridfinity system made by Voidstar Lab(Zack Freedman) an the Gridfinity Comunity. Contains PDFs ready to cut, Design files in Rhino sa…
Recrafting Video Ads with Generative AI
monospace typeface designed for symbol-rich programming
One-line C programs that compose music, showing the deep connection between the binary number system and Western music.
fq - jq for binary formats. Tool, language and decoders for working with binary formats.
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
A curated list of my favourite music DSP and audio programming resources
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
A printed circuit board design tool with a twist