sysprog21 repositories

125 repositories

elfuse
Public
Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon
macos virtualization arm64
macos virtualization arm64 linux-syscall hypervisor-framework darwin-kernel linux-compatibility
C
•
Apache License 2.0
•32•279•66•12•Updated Nov 4, 2026Nov 4, 2026
codetrial
Public
A live technical interview simulator
mock-interview-platform ai-aided-interview
mock-interview-platform ai-aided-interview
Rust
•
MIT License
•148•223•20•6•Updated Nov 4, 2026Nov 4, 2026
frama-c-mcp
Public
MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration
formal-verification acsl frama-c
formal-verification acsl frama-c mcp-server
Rust
•
MIT License
•4•36•1•0•Updated Nov 4, 2026Nov 4, 2026
simplefs
Public
A simple native file system for Linux kernel
linux kernel filesystem
linux kernel filesystem linux-kernel minimalist native-file-system linux-vfs
C
•
Other
•110•497•2•0•Updated Nov 4, 2026Nov 4, 2026
zhtw-mcp
Public
A linguistic linter for Traditional Chinese (zh-TW)
traditional-chinese localization-tool linguistic-analysis
traditional-chinese localization-tool linguistic-analysis large-language-models claude-code
Rust
•
MIT License
•51•497•0•0•Updated Nov 2, 2026Nov 2, 2026
rv32emu-demo
Public
Demo pages for rv32emu in user-mode and system emulation
HTML
•0•3•0•0•Updated Nov 2, 2026Nov 2, 2026
rv32emu-prebuilt
Public
The prebuilt binary files used by rv32emu
1•2•0•0•Updated Nov 2, 2026Nov 2, 2026
rv32emu-bench
Public
JavaScript
•1•1•0•0•Updated Nov 2, 2026Nov 2, 2026
rv32emu
Public
Compact and Efficient RISC-V RV32I[MAFC] emulator
emulator virtual-machine riscv
emulator virtual-machine riscv jit-compiler bare-metal risc-v instruction-set-simulator gdbstub elf-parser riscv32
C
•
MIT License
•159•596•12•10•Updated Nov 2, 2026Nov 2, 2026
hackmd-mcp
Public
Rust-native MCP server for HackMD API
Rust
•
MIT License
•1•10•0•0•Updated Nov 2, 2026Nov 2, 2026
shecc
Public
A self-hosting and educational C optimizing compiler
c linux arm
c linux arm compiler x86-64 riscv qemu armv7 cross-compiler elf
C
•
BSD 2-Clause "Simplified" License
•168•1.4k•2•2•Updated Oct 30, 2026Oct 30, 2026
arch2026-progs
Public
Grading framework for CA Assignment 2
C
•
MIT License
•40•0•0•0•Updated Oct 30, 2026Oct 30, 2026
mado
Public
A window system for resource-constrained devices
embedded gui-toolkit vector-graphics
embedded gui-toolkit vector-graphics window-system
C
•
MIT License
•26•126•6•1•Updated Oct 21, 2026Oct 21, 2026
arch
Public
Python
•0•0•0•0•Updated Oct 6, 2026Oct 6, 2026
khttpd
Public
An experimental HTTP server implemented as Linux kernel module
web-server tcp linux-kernel
web-server tcp linux-kernel httpd http-server socket-programming
C
•
MIT License
•131•90•1•0•Updated Sep 30, 2026Sep 30, 2026
kbox
Public
Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp
linux-container isolated-environments linux-system-calls
linux-container isolated-environments linux-system-calls
C
•
MIT License
•26•99•15•7•Updated Sep 29, 2026Sep 29, 2026
minirubik
Public
Solver for the 2×2×2 Rubik’s Cube
C
•
MIT License
•134•11•0•0•Updated Sep 28, 2026Sep 28, 2026
commentflow
Public
Reflow comments in C, C++, Rust, POSIX shell, and GAS assembly
linter code-quality-checker
linter code-quality-checker
Rust
•
MIT License
•1•28•0•0•Updated Sep 21, 2026Sep 21, 2026
Kconfiglib
Public
A flexible Python Kconfig implementation
python kconfig
python kconfig
Python
•
ISC License
•3•23•0•0•Updated Sep 20, 2026Sep 20, 2026
tlsf-bsd
Public
Two Level Segregated Fit (TLSF) memory allocator implementation, BSD License
real-time memory-allocation deterministic
real-time memory-allocation deterministic memory-pool rots
C
•
BSD 3-Clause "New" or "Revised" License
•23•144•0•2•Updated Sep 16, 2026Sep 16, 2026
lkmpg
Public
The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
c linux documentation
c linux documentation books kernel linux-kernel device-driver linux-kernel-module linux-kernel-driver lkm
TeX
•
Open Software License 3.0
•623•8.6k•9•5•Updated Sep 7, 2026Sep 7, 2026
libx11-compat-demo
Public
Showcases for libx11-compat
JavaScript
•0•0•0•0•Updated Aug 31, 2026Aug 31, 2026
libx11-compat
Public
An in-process implementation of Xlib layered on top of SDL2/SDL3
macos linux sdl2
macos linux sdl2 x11 xlib wayland xcb-api x-window-system sdl3
C
•
MIT License
•8•127•2•0•Updated Aug 31, 2026Aug 31, 2026
geotrace
Public
Visualize outbound public IPv4 traffic as a terminal-native world map
C
•
MIT License
•0•12•0•0•Updated Aug 19, 2026Aug 19, 2026
semu
Public
A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling
emulator linux-kernel riscv
emulator linux-kernel riscv risc-v riscv-emulator rv32ima
C
•
MIT License
•75•315•7•7•Updated Aug 9, 2026Aug 9, 2026
concurrency-primer
Public
Concurrency Primer
concurrency concurrent-programming c11
concurrency concurrent-programming c11 atomics
TeX
•
Creative Commons Attribution Share Alike 4.0 International
•23•131•3•0•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
forth risc-v subleq
forth risc-v subleq riscv32 eforth meta-compiler esoteric-compiler
C
•
MIT License
•3•27•0•0•Updated Aug 6, 2026Aug 6, 2026
elfuse-bench
Public
Placeholder for elfuse benchmarks
0•0•0•0•Updated Jul 20, 2026Jul 20, 2026
embench-iot
Public
Embenc free and open source benchmark suite
C
•
GNU General Public License v3.0
•145•0•0•0•Updated Jul 19, 2026Jul 19, 2026
kxo
Public
A Tic-Tac-Toe Game Engine implemented as Linux kernel module
C
•
MIT License
•96•12•1•1•Updated Jul 17, 2026Jul 17, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

sysprog21

All

125 repositories

elfuse

codetrial

frama-c-mcp

simplefs

zhtw-mcp

rv32emu-demo

rv32emu-prebuilt

rv32emu-bench

rv32emu

hackmd-mcp

shecc

arch2026-progs

mado

arch

khttpd

kbox

minirubik

commentflow

Kconfiglib

tlsf-bsd

lkmpg

libx11-compat-demo

libx11-compat

geotrace

semu

concurrency-primer

muxleq

elfuse-bench

embench-iot

kxo

Repositories list

125 repositories