Identité
Emplacement
Production
Académique
- Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion. "Can
a Program Reverse-Engineer Itself?". IMA
International Conference on Cryptography and Coding
(IMACC'11), 2011.
- Antoine Amarilli, Sascha
Müller, David
Naccache, Daniel
Page, Pablo Rauzy, Michael
Tunstall. "Can Code
Polymorphism Limit Information Leakage?". Workshop in Information
Security Theory and Practice (WISTP'11), Heraklion,
2011.
Scolaire
- kesterel2lustre
- Un compilateur de Kernel
Esterel vers le langage de programmation Lustre.
Cf. le README.
Licence GPLv3.
- Présentation sur les
preuves de déconnexion
- Rapport et transparents présentant et résumant l'article Disconnection
proofs for motion planning. Pour le cours de Jean-Paul Laumond.
- Présentation sur
la concurrence de l'innocence
- Transparents présentant l'article de théorie des catégories Asynchronous
games 2: The true concurrency of innocence. Pour le cours de
Paul-André
Melliès.
- Stage sur les grammaires
attribuées modulaires
- Rapports et transparents pour mon stage avec Éric
Badouel à propos des grammaires attribuées modulaires.
- Pastis
- Rapport sur une boîte à outils pour la réalisation
d'applications polymorphes en Scheme permettant de transformer
toute fonction en une fonction ayant les mêmes valeurs de retour
mais produisant en plus une version récrite d'elle-même sur la
sortie standard. Les
sources sont
également disponibles. Une collaboration avec
Pablo
Rauzy pour le cours de David
Naccache.
- Présentation sur l'équivalence
entre la logique monadique du second ordre et les automates
- Rapport et transparents présentant et résumant les théorèmes
de la théorie des langages formels qui prouvent que les langages
définissables par des formules de la logique du premier ordre ou
du second ordre monadique sont respectivement les langages sans
étoile et les langages réguliers. Pour le cours d'Olivier
Carton.
- Tipe
- Code source et rapport pour un programme permettant de
dessiner le réseau de confiance OpenPGP.
Programmes
- drime
- Un dictionnaire de rimes. Vous pouvez également récupérer le code source et regarder le README.
Licence GPLv3.
- haspirater
- Un programme pour déterminer si le 'h' initial d'un mot
français est aspiré ou non. Utilisable sur la ligne de commande ou
dans un programme Python. Ne fonctionne pas à base d'un
dictionnaire, mais d'un trie: compact, rapide, et raisonnable pour
des mots inconnus. Voir le README
ou le blogpost.
Licence MIT.
- nlsplit
- Un outil pour découper du texte en langue naturelle pour
produire des blocs découpés à des positions naturelles de la
langue. Le programme prend comme argument une taille maximale pour
les blocs, lit l'entrée standard et produit des blocs plus petits
que la taille maximale sur la sortie standard. Ce n'est pas de la
recherche en traitement des langues, mais juste quelques
heuristiques évidentes (paragraphes, puis phrases, puis mots, avec
quelques raffinements). Il fallait que quelqu'un l'écrive. Voir le README.
Licence MIT.
- a2freq
- Petit programme en C pour convertir des numéros de note MIDI
ou des notations anglaises en fréquences en hertz ; par exemple
a2freq a4 affiche 440.000000. À compiler avec -lm (voir les commentaires). Domaine public.
- mkdemotiv
- Un script Perl rapide pour faire des demotivational
posters à partir d'une image et d'un texte, en utilisant
Inkscape et ImageMagick. Peut être utilisé pour la génération en
batch, ou comme alternative locale aux nombreux outils en ligne
existants. Domaine public.
- continuity
- Un jeu en Python3 et curses inspiré par
Continuity
Game. Rétro, vite fait, mal fait, quelques niveaux inclus.
Voir le
README.
Domaine public.
- irctk
- Se connecter à un serveur IRC, afficher les messages sur
stdout, dire ce qui arrive sur stdin. Utile pour écrire des bots.
Programme en C utilisant libircclient.
Pas encore sécurisé ou stable, ne pas utiliser sans inspecter la
source. En développement.
Écriture
- La beauté du
désordre
- Dissertation écrite en cinq heures au Concours
général de philosophie. Premier accessit.
- Poésie
- Poèmes divers. À ne pas prendre au sérieux.
- Futurs simples
- Vieux recueil vaguement philosophique de nouvelles de science
fiction.
Tentatives d'humour
- The
Password Security Checker
- Vérifiez la résistance de vos mots de passe !
- Falso
- Un nouveau système axiomatique très puissant.
- Door
Safety Instructions
- Voir le
site web du club Inutile pour plus d'informations.
- Rapport de rapport de concours
- Un rapport de concours sur les rapports de concours, pour les
élèves de prépa.
- Contre la
discrimination verbale : un appel à la régularisation des verbes
défectifs
- Tables de conjugaison pour les verbes défectifs
Divers
- Weird
legalese
- Des choses bizarres trouvées dans les contrats de licence.
- Ressources pour les élèves de
prépa
- Quelques ressources à l'usage des élèves de classes
préparatoires.
Naviguer
Listing
