Skip to content
View proppy's full-sized avatar

Organizations

@google

Block or report proppy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An ATTiny85 based variable-rate (with long-term accuracy) clock movement

C 57 3 Updated Jul 29, 2022

Waveform Viewer Extension for VScode

TypeScript 315 11 Updated Feb 15, 2026

Fearless hardware design

Verilog 195 11 Updated Aug 20, 2025

The Belfry OpenScad Library, v2.0. An OpenSCAD library of shapes, masks, and manipulators to make working with OpenSCAD easier. BETA

OpenSCAD 1,978 179 Updated Feb 15, 2026

VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!

VHDL 693 63 Updated Dec 14, 2025

A ground-up rebuild of the stock gridfinity bins in OpenSCAD

OpenSCAD 2,064 293 Updated Aug 31, 2025

A variation of gridfinity to allow half-unit in baseplate and bins in OpenSCAD

OpenSCAD 13 Updated Jul 9, 2024

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…

48 1 Updated Nov 4, 2024

Recrafting Video Ads with Generative AI

TypeScript 199 63 Updated Feb 14, 2026

monospace typeface designed for symbol-rich programming

Python 1,597 22 Updated Dec 24, 2025

One-line C programs that compose music, showing the deep connection between the binary number system and Western music.

C 80 14 Updated Oct 3, 2011

jq for binary formats - tool, language and decoders for working with binary and text formats

Go 10,412 243 Updated Feb 12, 2026

Run any GUI app in the terminal❗

Go 7,734 186 Updated Feb 1, 2026

Fil-C: completely compatible memory safety for C and C++

2,950 60 Updated Feb 11, 2026

A curated list of my favourite music DSP and audio programming resources

2,847 98 Updated Mar 19, 2025

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

Python 3,056 166 Updated Feb 16, 2026

A printed circuit board design tool with a twist

Python 429 60 Updated May 1, 2023
2 Updated Apr 2, 2022

A massively parallel, optimal functional runtime in Rust

Cuda 11,208 435 Updated Nov 21, 2024

A C64 SID Chip recreation in FPGA

Verilog 42 6 Updated Jun 14, 2022

SIDKick pico is an inexpensive dual-SID-replacement for the C64 and C128

HTML 307 30 Updated Feb 11, 2026

reSID: MOS6581 SID chip emulator, from: http://www.zimmers.net/anonftp/pub/cbm/crossplatform/emulators/resid/

C++ 49 8 Updated May 20, 2024

MOS 6581 / 8580 SID FPGA emulation platform

SystemVerilog 108 16 Updated Sep 23, 2024

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Python 121 9 Updated Jan 6, 2026

A digital audio workstation (DAW) engine.

Rust 23 2 Updated Sep 25, 2023

An implementation of differential dataflow using timely dataflow on Rust.

Rust 2,906 203 Updated Feb 8, 2026

Musical Sequencer for Piano in Rust

Rust 7 Updated Feb 13, 2026

Micro creative coding playground

TypeScript 207 6 Updated Jul 23, 2025
Jupyter Notebook 12 1 Updated Jan 28, 2021

Cross-version python API for KiCAD pcbnew v5-v9. Use it to make action plugins, GUI scripting, and anything headless

Python 77 9 Updated Jan 7, 2026
Next