Projects

I’m involved in several projects that, for various reasons, I don’t consider part of my main research and therefore don’t list on my research page. That said, I still find these projects important and relevant, so I provide an overview of them here.

• EasyCrypt Extensions for Emacs (Ongoing)
  I am developing and maintaining an extension to EasyCrypt’s front-end interface for Emacs, implementing various features to improve user experience. These include enhanced indentation, keybinding- and mouse-driven command execution, improved navigation, and integration with additional packages for advanced features like keyword completion and documented code templates. It’s currently at its first usable version, so feel free to check it out and let me know what you think! The repository includes detailed installation and usage instructions.
• EasyCrypt Tutorial (Ongoing)
  We (Charlotte Mylog, François Dupressoir, and others) are developing tutorial material for EasyCrypt to make the tool more accessible, particularly for “pen-and-paper” cryptographers. All available material can currently be found on https://easycrypt.gitlab.io/easycrypt-web/docs/tutorials/.
• EasyCrypt Documentation Tooling (Ongoing)
  Together with Pierre-Yves Strub, I am extending EasyCrypt with new documentation-related functionality that (1) improves searching and navigating inside the interactive mode of the tool, and (2) enables the extraction of documentation in formats like Markdown and HTML (à la javadoc or rustdoc).