Repositories list

• frama-c-mcp

  Public
  MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration

  formal-verificationacslframa-c+ 1

  formal-verificationacslframa-cmcp-server

  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 19, 2026Aug 19, 2026

• elfuse

  Public
  Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon

  macosvirtualizationarm64+ 4

  macosvirtualizationarm64linux-syscallhypervisor-frameworkdarwin-kernellinux-compatibility

  C

  •

  Apache License 2.0

  •2121 forks•253253 stars•1111 issues•33 pull requests•Updated Aug 19, 2026Aug 19, 2026

• geotrace

  Public
  Visualize outbound public IPv4 traffic as a terminal-native world map

  C

  •

  MIT License

  •00 forks•1010 stars•00 issues•00 pull requests•Updated Aug 19, 2026Aug 19, 2026

• kbox

  Public
  Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp

  linux-containerisolated-environmentslinux-system-calls

  linux-containerisolated-environmentslinux-system-calls

  C

  •

  MIT License

  •2828 forks•9494 stars•1515 issues•77 pull requests•Updated Aug 19, 2026Aug 19, 2026

• zhtw-mcp

  Public
  A linguistic linter for Traditional Chinese (zh-TW)

  traditional-chineselocalization-toollinguistic-analysis+ 2

  traditional-chineselocalization-toollinguistic-analysislarge-language-modelsclaude-code

  Rust

  •

  MIT License

  •4040 forks•462462 stars•77 issues•22 pull requests•Updated Aug 17, 2026Aug 17, 2026

• commentflow

  Public
  Reflow comments in C, C++, Rust, POSIX shell, and GAS assembly

  lintercode-quality-checker

  lintercode-quality-checker

  Rust

  •

  MIT License

  •00 forks•2020 stars•00 issues•00 pull requests•Updated Aug 16, 2026Aug 16, 2026

• libx11-compat-demo

  Public
  Showcases for libx11-compat

  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 14, 2026Aug 14, 2026

• libx11-compat

  Public
  An in-process implementation of Xlib layered on top of SDL2/SDL3

  macoslinuxsdl2+ 5

  macoslinuxsdl2x11xlibwaylandx-window-systemsdl3

  C

  •

  MIT License

  •77 forks•124124 stars•33 issues•00 pull requests•Updated Aug 14, 2026Aug 14, 2026

• mado

  Public
  A window system for resource-constrained devices

  embeddedgui-toolkitvector-graphics+ 1

  embeddedgui-toolkitvector-graphicswindow-system

  C

  •

  MIT License

  •2424 forks•118118 stars•1010 issues•11 pull request•Updated Aug 12, 2026Aug 12, 2026

• simplefs

  Public
  A simple native file system for Linux kernel

  linuxkernelfilesystem+ 4

  linuxkernelfilesystemlinux-kernelminimalistnative-file-systemlinux-vfs

  C

  •

  Other

  •112112 forks•493493 stars•22 issues•11 pull request•Updated Aug 10, 2026Aug 10, 2026

• semu

  Public
  A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling

  emulatorlinux-kernelriscv+ 3

  emulatorlinux-kernelriscvrisc-vriscv-emulatorrv32ima

  C

  •

  MIT License

  •7474 forks•309309 stars•77 issues•66 pull requests•Updated Aug 9, 2026Aug 9, 2026

• rv32emu

  Public
  Compact and Efficient RISC-V RV32I[MAFC] emulator

  emulatorvirtual-machineriscv+ 11

  emulatorvirtual-machineriscvjit-compilerbare-metalrisc-vinstruction-set-simulatorgdbstubelf-parserriscv32+ 4

  C

  •

  MIT License

  •148148 forks•572572 stars•1515 issues•55 pull requests•Updated Aug 9, 2026Aug 9, 2026

• concurrency-primer

  Public
  Concurrency Primer

  concurrencyconcurrent-programmingc11+ 1

  concurrencyconcurrent-programmingc11atomics

  TeX

  •

  Creative Commons Attribution Share Alike 4.0 International

  •2323 forks•131131 stars•33 issues•00 pull requests•Updated Aug 7, 2026Aug 7, 2026

• muxleq

  Public
  32-bit two-instruction (SUBLEQ+MUX) VM that self-hosts Forth and compiles RISC-V to native code

  forthrisc-vsubleq+ 4

  forthrisc-vsubleqriscv32eforthmeta-compileresoteric-compiler

  C

  •

  MIT License

  •33 forks•2626 stars•00 issues•00 pull requests•Updated Aug 6, 2026Aug 6, 2026

• rv32emu-bench

  Public
  JavaScript

  •11 fork•11 star•00 issues•00 pull requests•Updated Aug 2, 2026Aug 2, 2026

• shecc

  Public
  A self-hosting and educational C optimizing compiler

  clinuxarm+ 12

  clinuxarmcompilerriscvqemuarmv7cross-compilerelfself-hosting+ 5

  C

  •

  BSD 2-Clause "Simplified" License

  •164164 forks•1.4k1.4k stars•2525 issues•55 pull requests•Updated Jul 31, 2026Jul 31, 2026

• rv32emu-demo

  Public
  Demo pages for rv32emu in user-mode and system emulation

  HTML

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jul 30, 2026Jul 30, 2026

• rv32emu-prebuilt

  Public
  The prebuilt binary files used by rv32emu

  11 fork•22 stars•00 issues•00 pull requests•Updated Jul 30, 2026Jul 30, 2026

• lkmpg

  Public
  The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

  clinuxdocumentation+ 8

  clinuxdocumentationbookskernellinux-kerneldevice-driverlinux-kernel-modulelinux-kernel-driverlkm+ 1

  TeX

  •

  Open Software License 3.0

  •621621 forks•8.6k8.6k stars•66 issues•55 pull requests•Updated Jul 27, 2026Jul 27, 2026

• elfuse-bench

  Public
  Placeholder for elfuse benchmarks

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 20, 2026Jul 20, 2026

• embench-iot

  Public
  Embenc free and open source benchmark suite

  C

  •

  GNU General Public License v3.0

  •142142 forks•00 stars•00 issues•00 pull requests•Updated Jul 19, 2026Jul 19, 2026

• kxo

  Public
  A Tic-Tac-Toe Game Engine implemented as Linux kernel module

  C

  •

  MIT License

  •9696 forks•1212 stars•11 issue•11 pull request•Updated Jul 17, 2026Jul 17, 2026

• Kconfiglib

  Public
  A flexible Python Kconfig implementation

  pythonkconfig

  pythonkconfig

  Python

  •

  ISC License

  •22 forks•1919 stars•00 issues•00 pull requests•Updated Jul 10, 2026Jul 10, 2026

• kdnsfs

  Public
  Linux-native filesystem backed by DNS

  linux-filesystemdns-tunneling

  linux-filesystemdns-tunneling

  C

  •

  GNU General Public License v2.0

  •11 fork•1818 stars•00 issues•00 pull requests•Updated Jul 9, 2026Jul 9, 2026

• vcam

  Public
  Virtual camera device driver for Linux

  linux-kernelv4l2device-driver+ 1

  linux-kernelv4l2device-drivercamera-driver

  C

  •

  MIT License

  •5858 forks•123123 stars•55 issues•77 pull requests•Updated Jun 5, 2026Jun 5, 2026

• thread-metric-benchmark

  Public
  Thread-Metric RTOS Test Suite

  benchmarkingschedulingmemory-allocation+ 3

  benchmarkingschedulingmemory-allocationrtosreal-time-systemspreemptive-multitasking

  C

  •

  MIT License

  •00 forks•88 stars•00 issues•00 pull requests•Updated May 13, 2026May 13, 2026

• vpipe

  Public
  A Linux-only V4L2 mem2mem prototype for measuring the cost of a camera-to-userspace frame path: copies, queueing, context switches, scheduler jitter, cache beha…

  C

  •

  MIT License

  •33 forks•1616 stars•00 issues•00 pull requests•Updated May 7, 2026May 7, 2026

• neocon

  Public
  A simple serial console utility

  C

  •

  GNU General Public License v2.0

  •44 forks•1818 stars•00 issues•00 pull requests•Updated May 4, 2026May 4, 2026

• kvm-host

  Public
  A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)

  linuxvirtual-machinex86-64+ 3

  linuxvirtual-machinex86-64minimalistarm64kvm-hypervisor

  C

  •

  Other

  •3838 forks•203203 stars•33 issues•00 pull requests•Updated Apr 30, 2026Apr 30, 2026

• vwifi

  Public
  A virtual wireless device driver for Linux

  linuxnetworkinglinux-drivers+ 5

  linuxnetworkinglinux-driverswifi-networknl80211mac80211wireless-drivercfg80211

  C

  •

  MIT License

  •6060 forks•247247 stars•55 issues•66 pull requests•Updated Apr 7, 2026Apr 7, 2026