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@mastodon.abou-samra.fr
Bluesky : @jeanas.bsky.social

J'habite actuellement à Sarrebruck en Allemagne.

Blog

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.

English

Jean Abou Samra's home page

Documents

Master's first year internship report on minimizing Büchi automata.
Personal notes for the symbolic dynamics course at MPRI.
A semantics of the Scheme language in the K framework. Contains explanations on hygienic macros and their implementation.

Computers

PGP public key | SSH public key
GitLab profile | GitHub profile
Some projects I contribute(d) to: Pygments, packaging.python.org, Frescobaldi, LilyPond
A series about Python packaging on the LinuxFR site: History, Ecosystem overview
A stateless password manager (but read the warning before using it)

Contact

Email: my-first-name@my-last-name.fr (with a dash in the last name; in other words, the address of this page with https:// removed and with the first dot replaced by an @ sign).
Mastodon: @jeanas@mastodon.abou-samra.fr
Bluesky: @jeanas.bsky.social

I currently live in Sarrbrücken, Germany.

Blog

This picture is my avatar on most websites. It is a painting by Franz Marc entitled Waldinneres mit Vogel (Forest inside with bird), dated 1912.