Bureau F209, Irisa/Inria
Campus de Beaulieu
263, avenue du général Leclerc
35042 RENNES Cedex - France
email : firstname.lastname@example.org
gpg : 0x43111F4520086A0C
Authors listed in alphabetic order.
Frédéric Besson, Thomas Jensen, and Julien Lepiller
Static Analysis. SAS 2018. The final authenticated publication is available online at: https://doi.org/10.1007/978-3-319-99725-4_12
Tristan Allard, Davide Frey, George Giakkoupis, Julien Lepiller
3rd Workshop on Middleware for Context-Aware Applications in the IoT, Dec 2016, Trento, Italy.
A fork of the original coquille plugin, improved and ported to neovim. Make coq proofs in neovim! This fork of coquille supports coq 8.6, 8.7 and 8.8. It uses the multithreading capabilities of neovim to allow abortion of evaluation, parses your _CoqProject to load coq with the libraries you use and supports multiple coq sessions in the same neovim session.
A guile library for the bittorrent protocol. Still a work-in-progress, this library implements a bittorrent client. Hopefully, this will be integrated in guix to allow downloading substitutes with the bittorrent protocol.
A tool for translators: import translation projects, translate and send your contribution in the way prefered by upstream. Offlate connects to online translation platforms and gets work from them. Then, it allows you to translate offline, with the integrated tool or your favorite tool for the task. For each platform, it knows how to get and submit work so it can keep in sync. It also retains credentials and configuration for each platform and tells you how to get them.