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). 🔗
================================================================================

3. Liens