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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Python 1 Updated Aug 29, 2025

Ubuntu kernels which are optimized for NVIDIA server systems

C 77 49 Updated Jan 5, 2026

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

Rust 86 8 Updated Dec 25, 2025

A cross-platform, OpenGL terminal emulator.

Rust 61,736 3,257 Updated Dec 23, 2025

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

Rust 1,061 34 Updated Jan 4, 2026

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

Shell 182 106 Updated Dec 23, 2025

A minimal Linux scheduler with sched-ext written in C

C 29 2 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,090 155 Updated Jan 5, 2026

Custom Linux kernel patches

256 55 Updated Jan 5, 2026

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

Rust 4,166 375 Updated Jan 5, 2026

Investigate kernel error call stacks

C 292 43 Updated Dec 19, 2025

Experimental busy dad's operating system written from scratch

Rust 28 1 Updated Jan 2, 2026
Python 12 4 Updated Jul 4, 2025

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

Rust 5,705 182 Updated Dec 29, 2025

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,597 124 Updated Dec 31, 2025

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

Rust 5,254 118 Updated Sep 26, 2025

Minimal and opinionated eBPF tooling for the Rust ecosystem

Rust 942 163 Updated Jan 5, 2026

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

Shell 2,413 83 Updated Jan 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,178 103 Updated Jan 2, 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 137 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 1,723 212 Updated Jan 3, 2026

Stack trace visualizer

Perl 19,111 2,075 Updated Oct 20, 2024

Platform that enables Windows driver development in Rust

Rust 1,808 110 Updated Jan 5, 2026

Powerful system container and virtual machine manager

Go 67 3 Updated Jan 4, 2026

Tool to manage Ubuntu kernel .config

Python 6 1 Updated Feb 16, 2024

Rust wrapper for libcap-ng

Rust 5 3 Updated Apr 13, 2023

This project has been merged into virtme-ng

Rust 14 8 Updated Jan 12, 2025
Next