8000 gkelly (Garret Kelly) / Starred · GitHub
[go: up one dir, main page]

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.

Content in all repositories owned by your account will be closed.
< 8000 textarea id="new-block-note-from-sidebar" maxLength="250" data-test-selector="ignored_user_note_text_field" data-character-limit="250" data-target="primer-text-area.inputElement" style="resize: vertical" aria-describedby="validation-2239f1f2-3fed-4902-8c51-75caf2d65f02 caption-2239f1f2-3fed-4902-8c51-75caf2d65f02" class="form-control FormControl-input FormControl-textarea js-ignored-user-note-field" name="note">
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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

Opensource firmware for PocketPD

C++ 538 54 Updated Aug 5, 2026

WebAssembly (Wasm) Interpreter - An efficient, lightweight, and deterministic WebAssembly interpreter for embedded systems and plug-in runtimes.

Rust 2,342 379 Updated Nov 4, 2026

A scrollable-tiling Wayland compositor.

Rust 28,934 1,256 Updated Nov 7, 2026

A wrapper tool for nix OpenGL application [maintainer=@guibou]

Nix 1,044 152 Updated Nov 4, 2026

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

Rust 4,004 364 Updated Nov 7, 2026

A friendly FPGA that pretends to be your NOR SPI flash

Rust 26 6 Updated Nov 5, 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 832 74 Updated Nov 7, 2026

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

TypeScript 263 11 Updated Sep 30, 2026

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

C 1,859 272 Updated Nov 5, 2026

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

Rust 1,767 722 Updated Nov 5, 2026

Universal utility for programming FPGA

C++ 1,785 411 Updated Nov 5, 2026

An ECP5 FPGA Dev Board in a Pi Zero form

HTML 869 38 Updated Nov 1, 2026

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

SystemVerilog 103 35 Updated Nov 6, 2026

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

C 145 42 Updated Oct 28, 2026

Flashrom/serprog compatible firmware for the Raspberry Pi Pico

C 300 64 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,204 110 Updated Dec 5, 2025

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

C++ 16,209 1,020 Updated Nov 6, 2026

The seL4 microkernel

C 5,861 823 Updated Nov 6, 2026

Fixed size 256-bit math library

Go 383 83 Updated Nov 4, 2026

Bron's Advanced Cryptography Library

Go 23 5 Updated Nov 2, 2026

Baochip 1x Silicon

SystemVerilog 488 45 Updated Oct 31, 2026

Apache DataFusion SQL Query Engine

Rust 9,573 2,624 Updated Nov 7, 2026

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

Rust 31,950 1,728 Updated Nov 1, 2026

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

C# 5,171 285 Updated Nov 7, 2026

Userspace WireGuard® Implementation in Rust

Rust 1,396 72 Updated Nov 6, 2026

The bare metal Go UEFI boot manager

Go 234 19 Updated Nov 6, 2026
Next
0