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 598 159

  3. cpumemory-zhtw cpumemory-zhtw Public

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

    CSS 354 37

  4. concurrent-programs concurrent-programs Public

    Complementary Concurrency Programs for course "Linux Kernel Internals"

    C 439 96

Repositories

Showing 10 of 125 repositories
  • codetrial Public

    A live technical interview simulator

    sysprog21/codetrial's past year of commit activity
    Rust 224 MIT 148 25 11 Updated Nov 6, 2026
  • elfuse Public

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

    sysprog21/elfuse's past year of commit activity
    C 281 Apache-2.0 32 61 10 Updated Nov 6, 2026
  • shecc Public

    A self-hosting and educational C optimizing compiler

    sysprog21/shecc's past year of commit activity
    C 1,404 BSD-2-Clause 168 2 2 Updated Nov 5, 2026
  • semu Public

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

    sysprog21/semu's past year of commit activity
    C 315 MIT 75 7 6 Updated Nov 4, 2026
  • 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 36 MIT 4 1 0 Updated Nov 4, 2026
  • simplefs Public

    A simple native file system for Linux kernel

    sysprog21/simplefs's past year of commit activity
    C 498 111 2 0 Updated Nov 4, 2026
  • zhtw-mcp Public

    A linguistic linter for Traditional Chinese (zh-TW)

    sysprog21/zhtw-mcp's past year of commit activity
    Rust 500 MIT 51 0 0 Updated Nov 2, 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 Nov 3, 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 Nov 2, 2026
  • rv32emu-bench Public
    sysprog21/rv32emu-bench's past year of commit activity
    JavaScript 1 1 0 0 Updated Nov 3, 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.