Bibliothèque de support pour l'assistant de preuve Coq, fournissant des fichiers vernaculaires pour l'importation des certificats générés par Gappa et un tactic `gappa` pour appeler Gappa sur le but courant dans Coq. Gappa est un outil destiné à aider à la vérification et à la preuve formelle de propriétés sur des programmes numériques utilisant des calculs arithmétiques en virgule flottante ou à point fixe.

Ce projet est un support de cours en ligne pour la partie 2 de la formation NF26, qui porte sur l'apprentissage en haute volumétrie. Il permet aux étudiants de consulter et de contribuer au polycopié pédagogique, qui est généré automatiquement à partir du dépôt de code source.

Digitools est un ensemble d'outils simples destiné à accompagner l'animation de cours en présence ou à distance. Il permet de créer des animations pédagogiques, de gérer des supports de cours et de générer du contenu interactif.

Ce projet contient les supports de cours d'une auto-formation d'initiation à Python, proposée sur le SSP Cloud. Les différents chapitres peuvent être déployés en un clic sous la forme d'un Notebook Jupyter. Les sources des supports de cours sont disponibles au format qmd dans le dossier source/ et peuvent être générées en notebooks ipynb exécutables grâce à Quarto et aux packages Python nécessaires.

Modèle pour la génération de supports de cours au format HTML, PDF et DOCX à partir d'une source unique au format markdown/pandoc. Il permet de gérer des figures SVG, de les convertir en PDF pour une utilisation avec Latex et de masquer certains blocs en fonction de la valeur d'une variable.

FaustLive est un environnement de développement avancé pour le langage de programmation Faust, offrant un cycle de développement édition-compilation-exécution très court. Grâce à sa chaîne de compilation entièrement intégrée, FaustLive est facile à installer et ne nécessite aucun compilateur externe, outil de chaîne de développement ou SDK pour fonctionner. Il est idéal pour la création rapide de prototypes et supporte la génération d'applications natives via le [compilateur en ligne Faust](https://faust.grame.fr/tools/onlinecompiler/).