Julien Lepiller

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

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

Mi estas doktoriĝanto ĉe la skipo Celtique ĉe Inria Rennes en la Franco superrigardate de Thomas Jensen kaj Frédéric Besson. Mi laboras pri Software Fault Isolation.

Eldonaĵoj

Aŭtoroj estas listigitaj laŭ la alfabeta ordo.

Programoj

  • 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.9. Ĝ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.

  • Guile-torrent

    Guile biblioteko por la bittorrent protokolo. Ĝi estas nur konstruiĝanta, sed ĉi tiu biblioteko efektivigas bittorrent klienton. Mi esperas ke Guix enhavos tiun bibliotekon por elŝuti anstataŭigantojn per la bittorrent protokolo.

  • 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.