Alternatives and similar repositories for sofa:

Users that are interested in sofa are comparing it to the libraries listed below

• CatSystemWorkshop / meetup
  Cat System Workshop is a regular meet-up focusing on “system software”. We would like to gather all developers to share their experience …
  ☆51Updated 5 years ago
• tenok-rtos / tenok
  A Linux-like real-time operating system for Robotics and the Internet of Things (IoT)
  ☆104Updated 7 months ago
• shiwulo / system-programming
  中正大學，資工系，羅習五，系統程式設計課程
  ☆65Updated last year
• cychiang-ntpu / ntpu-ce-mmsp-2020
  國立臺北大學通訊工程學系109年度大三必修課-多媒體訊號處理(U3329)
  ☆19Updated 4 years ago
• sysprog21 / cserv
  An event-driven and non-blocking web server
  ☆80Updated last year
• GrassLab / osdi
  NCTU Operation System Design and Implementation
  ☆25Updated 4 years ago
• ianchen0119 / AwesomeCS
  🚀 AwesomeCS is the document lets you know how to build your own OS on RISC-V platform.
  ☆98Updated 2 years ago
• jserv / rbtree
  A red-black tree implementation
  ☆28Updated 2 months ago
• skymizer / SkyPat
  A C++ performance analyzing and testing framework on Android and Linux platforms.
  ☆47Updated 5 months ago
• sysprog21 / concurrency-primer
  Concurrency Primer
  ☆84Updated 5 months ago
• GrassLab / NYCU_Operating_System_Capstone
  NYCU Operating System Capstone
  ☆12Updated 3 years ago
• jserv / talks
  schedule and materials about my presentations
  ☆352Updated last week
• borting / nctu-thesis
  NCTU Thesis Template in XeLaTeX
  ☆76Updated 3 years ago
• osinstom / containers-impl-c
  ☆43Updated 4 years ago
• cccnqu / course
  陳鍾誠的課程入口 -- 共用資源與必需會的事項
  ☆34Updated 6 years ago
• sysprog21 / kvm-host
  A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)
  ☆162Updated 3 weeks ago
• jserv / full-stack-hello
  minimal instruction set and assembler/compiler for "Hello World" execution
  ☆114Updated 4 years ago
• koshizuow / ccbook
  Non-official Chinese translation of https://www.sigbus.info/compilerbook
  ☆49Updated 4 years ago
• combo-tw / LinuxBookClub
  Linux 讀書會
  ☆37Updated 3 years ago
• sysprog21 / mado
  A window system for resource-constrained devices
  ☆48Updated last week
• afcidk / HackMDir
  ☆31Updated 3 years ago
• Mes0903 / Cpp-Miner
  A column introduce and explain modern C++ features.
  ☆158Updated last month
• eecheng87 / mode-switch-stat
  Minimal tool for measuring cost of mode switch
  ☆15Updated 3 years ago
• cccbook / sp
  系統程式 - 從 nand2tetris 入門
  ☆229Updated 2 years ago
• kevin-dong-nai-jia / OpenGC3
  Open General C Container Collection
  ☆85Updated 6 years ago
• Po-haoHuang / nctu-thesis
  NCTU thesis template for XeLaTeX
  ☆52Updated last year
• champyen / rpiz_bare_metal
  a bare metal example with a simple printf implementation for RPi Zero
  ☆13Updated 3 years ago
• alanjian85 / marius
  A lightweight emulator illustrating the inner workings of NES, including the 6502 CPU and PPU, with a WASM port and support of classic ga…
  ☆19Updated 7 months ago
• Cuju-ft / Cuju
  Cuju: An Open Source Project for Virtualization-Based Fault Tolerance *Provide active-passive fault tolerance service*
  ☆89Updated 2 years ago
• sysprog21 / gameboy-emu
  An efficient and portable Game Boy emulator
  ☆35Updated 6 months ago