Home.txt
Valeran MAYTIร
================================================================================1. Presentation
I'm a computer science/mathematics student at Parisian Master of Research in Computer Science (MPRI) at Paris Saclay. My focus lies in logic, formal proof via proof assistants. I also work in low-level programming and compilation.
================================================================================2. Programming Projects
| Arrakis | A Risc-V simulator with an integrate debugger and a local server for differents editors plugins. ๐ |
| Soya | Optimizing compiler from an object language to MIPS. ๐ |
| Diqt | Formalising dictionaries in Coq. ๐ |
| Miniml | Interpreter for a subset of the OCaml language. ๐ |
| Dotfiles | Configuring my work computer (Configuring nvim). ๐ |