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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

55nm CMOS Open Source PDK by ICsprout Integrated Circuit Co., Ltd.

Verilog 199 21 Updated Apr 9, 2026

AI agents running research on single-GPU nanochat training automatically

Python 76,120 11,098 Updated Mar 26, 2026

Graph-Oriented Computer-Assisted Composition in Python

Python 2 1 Updated Apr 23, 2026

Port of Andrej Karpathy's python microGPT to Rust

Rust 46 9 Updated Mar 7, 2026
Python 56 4 Updated Nov 12, 2025
Python 1 Updated Mar 16, 2026

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

C 58 4 Updated Mar 15, 2026

Waveform Viewer Extension for VScode

TypeScript 331 15 Updated Apr 24, 2026

Fearless hardware design

Verilog 201 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 2,124 185 Updated Apr 18, 2026

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

VHDL 708 66 Updated Dec 14, 2025

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

OpenSCAD 2,128 304 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…

49 1 Updated Nov 4, 2024

Recrafting Video Ads with Generative AI

TypeScript 221 68 Updated Apr 15, 2026

monospace typeface designed for symbol-rich programming

Python 1,612 22 Updated Apr 9, 2026

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

C 81 14 Updated Oct 3, 2011

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

Go 10,482 247 Updated Apr 18, 2026

Run any GUI app in the terminal❗

Go 7,941 190 Updated Mar 18, 2026

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

3,226 65 Updated Mar 28, 2026

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

2,897 107 Updated Mar 2, 2026

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

Python 3,184 175 Updated Apr 3, 2026

A printed circuit board design tool with a twist

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

A massively parallel, optimal functional runtime in Rust

Cuda 11,234 437 Updated Nov 21, 2024

A C64 SID Chip recreation in FPGA

Verilog 43 6 Updated Jun 14, 2022

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

HTML 325 35 Updated Feb 20, 2026

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

C++ 48 8 Updated May 20, 2024

MOS 6581 / 8580 SID FPGA emulation platform

SystemVerilog 112 18 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
Next