Skip to content
View jakecorrenti's full-sized avatar
  • Red Hat
  • Greater Boston, Massachusetts
  • 09:12 (UTC -04:00)

Organizations

@containers @virtee

Block or report jakecorrenti

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

Starred repositories

Showing results

OpenShell is the safe, private runtime for autonomous AI agents.

Rust 7,118 856 Updated Jun 16, 2026

Example for running podman with krun and a custom kernel

Shell 2 Updated Apr 22, 2026

Launch configurable virtual machines with libkrun

Rust 307 30 Updated Mar 25, 2026

Library for AWS Nitro Enclaves

Rust 2 5 Updated Mar 18, 2026

A dynamic library providing Virtualization-based process isolation capabilities

Rust 2,337 209 Updated Jun 15, 2026

Projects for an undergraduate OS course

C 5,823 1,551 Updated Jul 19, 2024

Code from various chapters in OSTEP (http://www.ostep.org)

C 4,295 1,560 Updated Nov 9, 2023

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use release tarballs from the QEMU website.

C 13,290 6,881 Updated Jun 16, 2026

Wallpapers based on the Dracula Theme

348 13 Updated Oct 10, 2025

Management CLI for Intel TDX host system administrators

Rust 4 1 Updated Jul 16, 2024

Rust library for Intel TDX

Rust 35 9 Updated May 19, 2026
37 8 Updated Oct 29, 2025

๐Ÿ”’ Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.

Python 30,554 2,418 Updated Jun 11, 2026

List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via CI or a CLI.

Rust 555 42 Updated May 29, 2026

WebGL Examples

JavaScript 557 262 Updated Aug 31, 2017

Educational blog posts for Rust beginners

Rust 8,362 429 Updated Feb 17, 2025

Papers from the computer science community to read and discuss.

Shell 107,090 6,373 Updated May 17, 2026

Taking Keyboards to the Final Frontier

TypeScript 641 72 Updated Jun 9, 2026

Sweep - a small promicro based keyboard inspired by the Ferris.

2,081 269 Updated Dec 14, 2025

Intel confidential computing - TDX

Python 265 87 Updated Apr 16, 2026

simple tray cases for the Boardsource Microdox

7 Updated Nov 4, 2020

Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku QMK is the Miryoku implementation for QMK.

C 303 772 Updated Feb 28, 2025

A post-modern modal text editor.

Rust 44,909 3,548 Updated Jun 14, 2026

Using podman quick instructions

5 Updated Aug 2, 2023

A coloring book to help folks understand how SELinux works.

536 35 Updated Aug 31, 2021

The SELinux Notebook

Python 744 126 Updated May 13, 2026

Inspired by oh-lucy theme in vscodium, with few tweaks!

Lua 310 22 Updated Apr 8, 2025

A modern lightweight statusline and bufferline plugin for neovim in lua.

Lua 397 22 Updated Jun 2, 2024

๐Ÿ“š Freely available programming books

Python 390,343 66,439 Updated Jun 13, 2026
Next