Français
Page personnelle de Jean Abou Samra
Documents
- Rapport de stage de M1 sur la minimisation des automates de Büchi.
- Notes personnelles du cours de dynamique symbolique au MPRI.
- Une sémantique du langage Scheme dans le K framework. Contient des explications sur les macros hygiéniques et leur implémentation.
Informatique
- Clé publique PGP | Clé publique SSH
- Profil GitLab | Profil GitHub
- Quelques logiciels libres auxquels je participe ou j'ai participé : Pygments, packaging.python.org, Frescobaldi, LilyPond
- Une série de dépêches sur le packaging en Python pour le site LinuxFR : Histoire, Tour de l'écosystème
- Un gestionnaire de mot de passe sans stockage (mais lisez l'avertissement avant de vous en servir)
Contact
Email : mon-prenom@mon-nom.fr (avec un
tiret dans le nom, ou encore l'adresse de cette page en enlevant
le https:// et en remplaçant le premier point par
un arobase).
Mastodon :
@jeanas@mathstodon.xyz
Bluesky : @jeanas.bsky.social
J'habite actuellement à Grenoble.
Cette image est mon avatar en ligne. Il s'agit d'un tableau de Franz Marc, Waldinneres mit Vogel (Intérieur de forêt avec oiseau), peint en 1912.