Rafael Prévost: PI-OS

Github (pi-os) Github (a-os) Github (r-os)

In this blog, we will write an operating system targeting the RISC-V architecture in Idris2 (mostly) and explore ideas from ATS and Rust.

PI-OS: Making a RISC-V Operating System exploring depending types using Idris2