Skip to content
View mkroening's full-sized avatar
🦀
Probably Programming
🦀
Probably Programming

Organizations

@RWTH-OS @RWTH-ACS @hermit-os @rust-osdev @threeten-jaxb @unikraft @rosenpass @unikernelalliance

Block or report mkroening

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

cricket is a virtualization solution for GPUs

C 227 50 Updated Sep 9, 2025

An extremely fast Python type checker and language server, written in Rust.

Python 14,958 157 Updated Dec 19, 2025

A thread-per-core Rust runtime with IOCP/io_uring/polling.

Rust 1,320 81 Updated Dec 18, 2025

High-performance automatic differentiation of LLVM and MLIR.

LLVM 1,513 149 Updated Dec 19, 2025

A decoder for old UNIX form letters and analysis of the earliest list of UNIX licensees

Rust 3 Updated Dec 9, 2025

Sprout: UEFI Bootloader in Rust

Rust 254 9 Updated Dec 18, 2025

Plan Calculus, but fun!

Python 7 Updated Dec 8, 2025

Run Windows apps on 🐧 Linux with ✨ seamless integration

TypeScript 17,025 437 Updated Dec 3, 2025

An experimental modern general-purpose microkernel OS.

Rust 424 7 Updated Oct 16, 2025

Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.

Go 1,994 41 Updated Oct 1, 2025

The Little Book of Rust Macros (updated fork)

HTML 889 108 Updated Nov 26, 2025

An experimental Rust native UI framework

Rust 4,740 174 Updated Dec 18, 2025

A GPU compute-centric 2D renderer.

Rust 3,594 205 Updated Dec 18, 2025

Weighs the soul of incoming HTTP requests to stop AI crawlers

Go 15,360 450 Updated Dec 19, 2025

Official repo for Memtest86+

C 1,469 107 Updated Dec 1, 2025

Zork I (Microcomputer Version) by Infocom

ZIL 2,755 329 Updated Nov 20, 2025

Rust Linux-compatible kernel

Rust 1,617 62 Updated Dec 19, 2025

A new, portable, regular expression language

Rust 1,347 19 Updated Nov 16, 2025

Like `execve`, but for userspace

C 169 3 Updated May 29, 2024

Bloaty: a size profiler for binaries

C++ 5,298 367 Updated Dec 11, 2025

🌤️ OpenCloud is the open source platform for file management, sharing and collaboration. Simple and sovereign.

Go 4,414 157 Updated Dec 19, 2025

Documents related to early UNIX history before V7, including UNIX News and early licensees

Text 10 Updated Dec 19, 2025

Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps

Python 39,270 1,616 Updated Dec 18, 2025

Compatibility tool for Steam Play based on Wine and additional components

C++ 12,907 327 Updated Dec 18, 2025

Unified launcher for Windows games on Linux

Python 2,854 61 Updated Dec 15, 2025

The filesystem for agents.

Rust 1,099 60 Updated Dec 18, 2025

Rust library that handles OEM code pages (e.g. CP{437,737,850}) for single byte character sets

Rust 8 5 Updated Nov 30, 2025

WebAssembly (Wasm) arch support for the Linux kernel

JavaScript 1,090 71 Updated Nov 30, 2025
Next