- Passionate about backend programming
- A functionnal programmer enthousiaste but not neglecting OOP
- Starting to explore depending types and OS dev. See the progress. Be patient, it is the beginning of the journey.
- Montreal
-
11:02
(UTC -04:00) - rafaelriv.github.io/piblog/
Pinned Loading
-
pitype-lab/pi-os
pitype-lab/pi-os PublicA RISC-V research OS to explore depending types and OS dev
Idris 3
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



