- 🔬 My research interests are kernel generation, compilers, and verification
- 🔭 I'm currently working with Azalia Mirhoseini
- 🌱 I really enjoy writing systems code
- 🌐 Website: francois141.github.io
- 📫 How to reach me: francois.costa@stanford.edu
Pinned Loading
-
CharlyCst/miralis
CharlyCst/miralis PublicMiralis is a RISC-V firmware that virtualizes RISC-V firmware
-
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.




