Accueil.txt
Valeran MAYTIÉ
================================================================================1. Présentation
Étudiant en informatique/mathématiques en Master Parisien de Recherche en Informatique (MPRI) de Paris Saclay, mon intérêt réside dans la logique et la preuve formelle via les assistants de preuve. J'affectionne également la programmation bas niveau et la compilation.
================================================================================2. Projets de Programmation
| Arrakis | Un simulateur Risc-V avec un débogueur intégré et un serveur local pour l'écriture des extensions pour des éditeurs de text. 🔗 |
| Soya | Compilateur optimisant d'un langage objet vers MIPS. 🔗 |
| Diqt | Formalisation des dictionnaires en Coq. 🔗 |
| Miniml | Interpréteur d'un sous ensemble du langage OCaml. 🔗 |
| Dotfiles | Configuration de mon ordinateur de travail (Configuration de nvim). 🔗 |