8000 arighi (Andrea Righi) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View arighi's full-sized avatar

Block or report arighi

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.
Maximum 250 characters. Please don’t include any personal information such as legal nam 8000 es 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

AI review prompts

Python 992 159 Updated Oct 2, 2026

Linux patch review and testing CLI with a multi-stage agentic workflow

Rust 70 11 Updated Sep 19, 2026

A MCP server for configuring, building, booting, and testing kernels

Python 7 3 Updated Jun 5, 2026

Agentic review of Linux Kernel code changes

Rust 1,390 268 Updated Nov 6, 2026
Python 1 Updated Aug 29, 2025

Ubuntu kernels which are optimized for NVIDIA server systems

118 88 Updated Nov 6, 2026

A libbpf based tracer to help figure out what an application is doing.

Rust 184 22 Updated Nov 5, 2026

A cross-platform, OpenGL terminal emulator.

Rust 66,124 3,704 Updated Nov 6, 2026

A simple, fast, and secure operating system for the cloud.

Rust 1,099 33 Updated Nov 6, 2026

kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux development

Shell 192 113 Updated Aug 1, 2026

A minimal Linux scheduler with sched-ext written in C

C 38 4 Updated Dec 15, 2025

Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

Rust 4,785 219 Updated Nov 6, 2026

Custom Linux kernel patches

389 86 Updated Nov 5, 2026

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Rust 4,896 484 Updated Nov 6, 2026

Investigate kernel error call stacks

C 307 46 Updated Dec 19, 2025

Experimental busy dad's operating system written from scratch

Rust 29 1 Updated Nov 1, 2026
Python 23 5 Updated Jul 4, 2025

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Rust 6,053 194 Updated Nov 2, 2026

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

C 2,710 131 Updated Nov 4, 2026

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Rust 5,445 114 Updated Sep 26, 2025

Minimal and opinionated eBPF tooling for the Rust ecosystem

Rust 1,027 173 Updated Nov 4, 2026

Archlinux Kernel based on different schedulers and some other performance improvements.

Shell 4,796 182 Updated Nov 5, 2026

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

Rust 3,341 112 Updated Nov 3, 2026

This repo is no longer active. sched_ext is now developed in https://git.kernel.org/pub/scm/linux/kernel/git/tj/sched_ext.git/

C 138 31 Updated Jun 17, 2024

Small CLI application to interact with Google Gemini

Go 5 Updated Dec 24, 2023

sched_ext schedulers and tools

C 2,234 315 Updated Nov 6, 2026

Stack trace visualizer

Perl 19,818 2,106 Updated Oct 20, 2024

Archived - bcachefs development has moved to koverstreet/bcachefs-tools (the kernel code is in fs/ there). Please file issues and PRs there.

C 973 98 Updated Sep 26, 2026
Next
0