Skip to content
View gkelly's full-sized avatar

Sponsoring

@marcan
@thestinger

Organizations

@oreboot

Block or report gkelly

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

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Rust 3,066 237 Updated Aug 14, 2026

A friendly FPGA that pretends to be your NOR SPI flash

Verilog 20 5 Updated Jul 23, 2026

Tool kit for building secure and networked services on top of AWS Nitro Enclaves.

Go 7 2 Updated Jul 27, 2026

An agent-first decompiler designed to be refined by other agents. Kuna is written in Rust and was originally ported from Ghidra.

Rust 356 16 Updated Aug 16, 2026

Soft, tactile components for product interfaces. Native forms, keyboard access, standard events and just one module import.

TypeScript 238 9 Updated Jul 25, 2026

E-reader firmware for ESP32 devices. Personal fork of Crosspoint Reader.

C 1,239 149 Updated Aug 16, 2026

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Rust 1,726 687 Updated Aug 13, 2026

Universal utility for programming FPGA

C++ 1,708 376 Updated Aug 14, 2026

An ECP5 FPGA Dev Board in a Pi Zero form

HTML 812 33 Updated Jul 26, 2026

A library of modular, tapeout-proven, and secure-by-default open silicon blocks

SystemVerilog 76 26 Updated Aug 14, 2026

RTX5 real time kernel for Arm Cortex-based embedded systems (spin-off from CMSIS_5)

C 141 40 Updated Aug 4, 2026

Flashrom/serprog compatible firmware for the Raspberry Pi Pico

C 292 63 Updated Apr 30, 2024

PwnPad is an affordable, hands-on hardware hacking platform built for practical learning. It features a range of challenges that walk users through key hardware security concepts, from PCB design t…

C++ 1,185 111 Updated Dec 5, 2025

A lightweight, lightning-fast, in-process vector database

C++ 15,444 977 Updated Aug 14, 2026

The seL4 microkernel

C 5,693 798 Updated Aug 6, 2026

Fixed size 256-bit math library

Go 381 82 Updated Aug 2, 2026

Bron's Advanced Cryptography Library

Go 20 4 Updated Aug 11, 2026

Baochip 1x Silicon

SystemVerilog 462 42 Updated Jun 18, 2026

Apache DataFusion SQL Query Engine

Rust 9,148 2,314 Updated Aug 16, 2026

A cross-platform GUI library for Rust, inspired by Elm

Rust 31,256 1,645 Updated Aug 14, 2026

TiXL is an open source software to create realtime motion graphics.

C# 5,072 273 Updated Aug 10, 2026

Userspace WireGuard® Implementation in Rust

Rust 1,356 55 Updated Aug 13, 2026

The bare metal Go UEFI boot manager

Go 229 17 Updated Jul 22, 2026

Go library for building tile-based transparency logs (tlogs)

Go 230 53 Updated Aug 14, 2026

A VNC server for wlroots based Wayland compositors

C 1,795 98 Updated Aug 1, 2026

AirPods liberated from Apple's ecosystem.

Kotlin 29,429 1,672 Updated Jul 13, 2026

Cross-platform application sandboxing for Rust

Rust 385 46 Updated Dec 3, 2024
Next