Ce projet vise à mettre à jour et adapter le travail décrit dans la publication "Scalable LCF-style proof translation" de Cezary Kaliszyk et Alexander Krauss, en se concentrant sur l'importation du théorème COMPACT_LS de HOL Light vers Isabelle. Il fournit des instructions pour générer des exports HOL Light et les traiter hors ligne, ainsi que pour importer les preuves dans Isabelle.

Le projet mobsya-aseba est une application permettant de programmer des robots à l'aide du langage Aseba. Il offre la gestion de variables, l'envoi d'événements et le contrôle de LEDs. Il est basé sur des technologies web telles que TypeScript, WebAssembly et des bibliothèques telles que Lodash et Buffer.

Overleaf/web est le front-end web service de l'éditeur de LaTeX en ligne open-source Overleaf. Il sert les pages HTML, CSS et javascript au client et contient la logique pour la création et l'édition de projets, ainsi que la gestion des comptes.

Ce projet est une base de données d'indexation de données XML, permettant la recherche d'informations manquantes et l'analyse de fichiers XML.