This repository contains all source files, published documents, and example programs for Siconos software.

Let's try Heptapod (https://heptapod.net) at UGA !

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

Small formal proof project using Pactole in a M2 class at ENS de Lyon

This project is a bootstrap to build very quickly your VPLs in Java

Aude (AUtomata DEmystifier) is a tool for learning and teaching finite state machines. Aude lets teachers and students run words, execute and write custom algorithms and draw finite state machines.

ELT-HARMONI package for high-contrast simulations

Python Tools for HARMONI

Tester le portage GitLab-RTD

Ce projet vise à regrouper les différents panneaux de couleurs développés dans le cadre du séminaire Pédagogies Multimodales.