Julien Lepiller

Yale University
51 Prospect Street, office AKW 203
New Haven, CT 06511

retpoŝtadreso : julien.lepiller@yale.edu
gpg : 0x53D457B2D636EE82

Mi estas postdok ĉe Yale en la Usono en la grupo Rose kaj mi nun laboras pri la ĝusteco de agordoj. Mi doktoriĝis el la Celtique skipo ĉe Inria Rennes en la Franco, superrigardate de Thomas Jensen kaj Frédéric Besson. Mia disertaĵo parolis pri programa izolo de misfunkcio.

Eldonaĵoj

Aŭtoroj estas listigitaj laŭ la alfabeta ordo.

Programoj

Jen personaj projektoj kiuj estas gravaj por mi.

  • Coquille por Neovim

    Forko de la etendaĵo coquille, plibonigita kaj disponebla por neovim. Faru coq-ajn demonstrojn en neovim! Ĉi tiu forko de coquille disponeblas por coq 8.6 ĝis 8.10. Ĝi uzas la plurtaskan capablon de neovim por haltigi taskon, ĝi legas vian _CoqProject por ŝalti coq kun la bibliotekoj ke vi uzas, kaj ĝi kapablas ŝalti multajn coq sesiojn en la sama neovim procezo.

  • Offlate

    Ilo por tradukantoj: vi povas elŝuti tradukajn projektojn, traduki kaj alŝuti viajn kontribuaĵojn laŭ la prefera maniero de originaj programistoj. Offlate scias kiel konektigi al la retilo por elŝuti kaj alŝuti laboron. Ĝi povas ankaŭ memorigi pasvortojn kaj konfigurojn kaj helpi vin trovi tiojn.