Julien Lepiller

Bureau F209, Irisa/Inria
Campus de Beaulieu
263, avenue du général Leclerc
35042 RENNES Cedex - France

courriel : julien.lepiller@inria.fr
gpg : 0x43111F4520086A0C

Je suis doctorant dans l'équipe Celtique chez Inria à Rennes en France sous la supervision de Thomas Jensen et de Frédéric Besson. Je travaille sur Software Fault Isolation

Publications

Les auteurs sont triés par ordre alphabétique.

Logiciels

  • Coquille pour Neovim

    Un fork du greffon coquille original, amélioré et porté sur neovim. Faîtes vos preuves coq dans neovim ! Ce fork de coquille support coq 8:6, à 8.9. Il utilise le parallélisme supporté dans neovim pour permettre d'annuler une évaluation, analyse votre _CoqProject pour charger coq avec les bibliothèques que vous utiliser et supporte plusieurs sessions coq dans la même session neovim.

  • Guile-torrent

    Une bibliothèque guile pour le protocole bittorrent. Un travail en cours, cette bibliothèque implémente un client bittorrent. On peut espérer qu'elle sera ensuite intégrée dans guix pour pouvoir télécharger des substituts depuis le protocole bittorent.

  • Offlate

    Un outil pour les traducteurs : importez vous projets de traduction, traduisez et envoyez vos constributions de la manière préférée en amont. Offlate se connecte aux plateformes de traduction en ligne et récupère le travail dessus. Ensuite, il vous permet de traduire hors ligne, avec l'outil intégré ou votre outil favoris pour la tâche. Pour chaque plateforme, il sait comment récupérer et envoyer votre travail et peut rester synchronisé. Il enregistre aussi les informations de connexion et la configuration pour chaque plateforme et vous dit comment les récupérer.