Popular repositories Loading

1. riscv-pke riscv-pke Public

   RISC-V Proxy Kernel for Education

   C 29 14

2. physical-web physical-web Public

   Forked from google/physical-web

   The Physical Web: walk up and use anything

   Java

3. gxemul-hos gxemul-hos Public

   Forked from klx3300/gxemul-hos

   Special adaptations to make gxemul (http://gavare.se/gxemul/) working for HUST HOS-MIPS. I don't quite understand the legal stuff, so if it's inappropriate, let me know.

   C++

4. vibe-os-gptverification vibe-os-gptverification Public

   A vibe OS implemented with GPT-5.4

   C

5. vibe-os-deepseekv4-verification vibe-os-deepseekv4-verification Public

   A vibe OS implemented with DeepSeek V4

   C