Skip to content
@sysprog21

sysprog21

Pinned Loading

  1. lkmpg lkmpg Public

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

    TeX 8.6k 622

  2. rv32emu rv32emu Public

    Compact and Efficient RISC-V RV32I[MAFC] emulator

    C 592 153

  3. cpumemory-zhtw cpumemory-zhtw Public

    Traditional Chinese translation of "What Every Programmer Should Know About Memory"

    CSS 352 37

  4. concurrent-programs concurrent-programs Public

    Complementary Concurrency Programs for course "Linux Kernel Internals"

    C 436 95

Repositories

Showing 10 of 123 repositories
  • frama-c-mcp Public

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

    sysprog21/frama-c-mcp's past year of commit activity
    Rust 33 MIT 4 1 0 Updated Sep 23, 2026
  • rv32emu-demo Public

    Demo pages for rv32emu in user-mode and system emulation

    sysprog21/rv32emu-demo's past year of commit activity
    HTML 3 0 0 0 Updated Sep 23, 2026
  • rv32emu-prebuilt Public

    The prebuilt binary files used by rv32emu

    sysprog21/rv32emu-prebuilt's past year of commit activity
    2 1 0 0 Updated Sep 23, 2026
  • rv32emu Public

    Compact and Efficient RISC-V RV32I[MAFC] emulator

    sysprog21/rv32emu's past year of commit activity
    C 592 MIT 153 9 7 Updated Sep 23, 2026
  • codetrial Public

    A live technical interview simulator

    sysprog21/codetrial's past year of commit activity
    Rust 65 MIT 12 20 6 Updated Sep 23, 2026
  • kbox Public

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

    sysprog21/kbox's past year of commit activity
    C 95 MIT 27 15 7 Updated Sep 23, 2026
  • minirubik Public

    Solver for the 2×2×2 Rubik’s Cube

    sysprog21/minirubik's past year of commit activity
    C 8 MIT 14 0 0 Updated Sep 21, 2026
  • elfuse Public

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

    sysprog21/elfuse's past year of commit activity
    C 270 Apache-2.0 28 20 9 Updated Sep 22, 2026
  • commentflow Public

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

    sysprog21/commentflow's past year of commit activity
    Rust 27 MIT 1 0 0 Updated Sep 21, 2026
  • rv32emu-bench Public
    sysprog21/rv32emu-bench's past year of commit activity
    JavaScript 1 1 0 0 Updated Sep 21, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.