Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp
☆99Sep 29, 2026Updated last month
Alternatives and similar repositories for kbox
Users that are interested in kbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linux on Arm Cortex-M☆15May 19, 2026Updated 5 months ago
- A simple multitasking OS kernel☆114Feb 4, 2026Updated 8 months ago
- Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon☆278Updated this week
- Linux-native filesystem backed by DNS☆18Jul 9, 2026Updated 3 months ago
- Concurrency Primer☆131Aug 7, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple serial console utility☆18May 4, 2026Updated 5 months ago
- RTOS combining Linux rigor with Plan 9 simplicity, designed around SMP, real-time scheduling, and integrated networking.☆116May 14, 2026Updated 5 months ago
- A red-black tree implementation☆44Oct 15, 2025Updated last year
- Doom classic port to lightweight RISC‑V☆11Jan 1, 2026Updated 9 months ago
- 32-bit two-instruction (SUBLEQ+MUX) VM that self-hosts Forth and compiles RISC-V to native code☆27Aug 6, 2026Updated 2 months ago
- Compact and Efficient RISC-V RV32I[MAFC] emulator☆595Updated this week
- A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling☆313Aug 9, 2026Updated 2 months ago
- A flexible Python Kconfig implementation☆23Sep 20, 2026Updated last month
- A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)☆204Apr 30, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Linux device driver that simulates interrupts☆14Jan 21, 2026Updated 9 months ago
- Simulate Linux Completely Fair Scheduler (CFS) using POSIX Threads☆21Aug 21, 2021Updated 5 years ago
- Reduce Claude Code token usage by 35-50% when using CJK (Chinese, Japanese, and Korean)☆56Oct 13, 2026Updated 2 weeks ago
- Portable C inference engine for BitMamba-2 models☆18Jun 22, 2026Updated 4 months ago
- A window system for resource-constrained devices☆126Oct 21, 2026Updated last week
- C Programming Lab: Assessing Your C Programming Skills☆519Sep 13, 2025Updated last year
- Traditional Chinese translation of "What Every Programmer Should Know About Memory"☆354Dec 24, 2025Updated 10 months ago
- ☆41May 27, 2026Updated 5 months ago
- LLVM backend implementation for the PIC architecture. Refer to this repo's wiki for more information ⤵☆24Dec 13, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Forth environment on a single-Instruction 16-bit SUBLEQ machine☆17Jul 31, 2026Updated 2 months ago
- A bare-metal DOOM port for STM32H750 without HAL☆23Jan 28, 2026Updated 9 months ago
- L2E llama2.c on Commodore C-64☆19Feb 22, 2025Updated last year
- Port linux 0.12 to RISC-V 64☆19Nov 9, 2023Updated 2 years ago
- Reflow comments in C, C++, Rust, POSIX shell, and GAS assembly☆28Sep 21, 2026Updated last month
- Turning Linux into a High-Performance Library OS with Flux (SOSP 2026)☆11Sep 21, 2026Updated last month
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆26Mar 11, 2014Updated 12 years ago
- A self-hosting and educational C optimizing compiler☆1,402Updated this week
- Multitasking kernel for Arm/Thumb/AArch64 targets.☆48Dec 22, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Virtual Linux soundcard driver☆31May 6, 2024Updated 2 years ago
- An eBPF-powered debugger server for linux and android.☆167Mar 9, 2026Updated 7 months ago
- Complementary Concurrency Programs for course "Linux Kernel Internals"☆439Mar 15, 2026Updated 7 months ago
- A terminal-based recreation of Google Chrome's famous T-Rex game☆16Oct 23, 2025Updated last year
- MCP Server for Linux Scheduler Management and Auto optimization☆122Feb 12, 2026Updated 8 months ago
- 簡單的臺南一中成績查詢系統☆37Oct 12, 2026Updated 2 weeks ago
- Draw GIF in Bash☆12Mar 14, 2019Updated 7 years ago