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,041 235 Updated Aug 10, 2026

A friendly FPGA that pretends to be your NOR SPI flash

Verilog 19 4 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 347 16 Updated Aug 9, 2026

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

TypeScript 237 9 Updated Jul 25, 2026

Firmware for Xteink X3/X4. Personal fork of Crosspoint.

C 1,164 138 Updated Aug 9, 2026

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

Rust 1,723 684 Updated Aug 8, 2026

Universal utility for programming FPGA

C++ 1,702 373 Updated Aug 5, 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 75 24 Updated Aug 9, 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 291 62 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,182 111 Updated Dec 5, 2025

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

C++ 15,409 975 Updated Aug 10, 2026

The seL4 microkernel

C 5,686 796 Updated Aug 6, 2026

Fixed size 256-bit math library

Go 382 82 Updated Aug 2, 2026

Bron's Advanced Cryptography Library

Go 19 4 Updated Aug 5, 2026

Baochip 1x Silicon

SystemVerilog 454 42 Updated Jun 18, 2026

Apache DataFusion SQL Query Engine

Rust 9,116 2,287 Updated Aug 10, 2026

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

Rust 31,202 1,640 Updated Aug 6, 2026

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

C# 5,064 272 Updated Aug 9, 2026

Userspace WireGuard® Implementation in Rust

Rust 1,351 53 Updated Aug 6, 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 229 53 Updated Aug 7, 2026

A VNC server for wlroots based Wayland compositors

C 1,789 98 Updated Aug 1, 2026

AirPods liberated from Apple's ecosystem.

Kotlin 29,340 1,657 Updated Jul 13, 2026

Cross-platform application sandboxing for Rust

Rust 385 46 Updated Dec 3, 2024
Next