GitHub repository: pitype-os/pi-os
Primary language: Idris
Description: A RISC-V research OS  to explore depending types and OS dev