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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

A C64 SID Chip recreation in FPGA

Verilog 39 6 Updated Jun 14, 2022

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

HTML 230 23 Updated Mar 13, 2025

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

C++ 41 7 Updated May 20, 2024

MOS 6581 / 8580 SID FPGA emulation platform

SystemVerilog 97 14 Updated Sep 23, 2024

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

Python 113 8 Updated Mar 27, 2025

A digital audio workstation (DAW) engine.

Rust 21 1 Updated Sep 25, 2023

An implementation of differential dataflow using timely dataflow on Rust.

Rust 2,666 186 Updated Mar 7, 2025

Musical Sequencer for Piano in Rust

Rust 6 Updated Mar 26, 2025

Micro creative coding playground

TypeScript 183 5 Updated Sep 9, 2024
Jupyter Notebook 9 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 63 9 Updated Jan 20, 2025

Tile primitives for speedy kernels

Cuda 2,186 130 Updated Mar 27, 2025

REC is a CV record-and-playback module for Eurorack Synth

C++ 3 Updated Jun 11, 2024

A minimal GPU design in Verilog to learn how GPUs work from the ground up

SystemVerilog 8,019 614 Updated Aug 18, 2024

Algebraic enhancements for GEMM & AI accelerators

Python 274 16 Updated Feb 28, 2025

Research on integrating datalog & lambda calculus via monotonicity types

TeX 395 15 Updated Jun 21, 2022

303 eurorack interface for x0x-heart

13 2 Updated Dec 17, 2024

A stand-alone implementation of several NumPy dtype extensions used in machine learning.

C++ 255 34 Updated Mar 25, 2025

A flexible, high-performance, user-friendly computer architecture simulator engine

Go 61 17 Updated Mar 26, 2025

Performance-portable, length-agnostic SIMD with runtime dispatch

C++ 4,492 336 Updated Mar 26, 2025

LinguaCafe is a self-hosted software that helps language learners read foreign languages.

Vue 1,051 42 Updated Mar 24, 2025

PyGraphistry is a Python library to quickly load, shape, embed, and explore big graphs with the GPU-accelerated Graphistry visual graph analyzer

Python 2,230 215 Updated Mar 18, 2025

logic synthesis/verification framework

C++ 3 Updated May 8, 2024

Implementation of Espresso-II method for heuristic minimization of single output boolean functions

TypeScript 29 6 Updated Feb 23, 2024

The Open Source DIY Handheld Gaming PC!

C++ 455 29 Updated Jul 31, 2024

Vult is a transcompiler well suited to write high-performance DSP code

OCaml 503 25 Updated Mar 21, 2025
SystemVerilog 1 Updated Nov 1, 2023

The sequel to Sinebeat Equations

C 3 Updated Aug 17, 2018

TinyTapeout submission with the SN76489 Digital Complex Sound Generator (DCSG) programmable sound generator (PSG) chip from Texas Instruments.

Python 56 8 Updated Nov 2, 2024
Next
Showing results