Explore projects

MARCON Cecile / BiCoq

Implementation of bigraphs in Coq.

0

Updated Sep 05, 2024

0 0 0 0

Updated Sep 05, 2024
E

DROUGARD Nicolas / eval-ihm-accadil

0

Updated Jul 30, 2024

0 0 0 0

Updated Jul 30, 2024
H

IDEA / xdash / hybridmeter
GNU General Public License v3.0 only

0

Updated Sep 06, 2024

0 0 0 0

Updated Sep 06, 2024
nanostar / IDM-NSS-connector

[Bordeaux INP] - connection between IDM and NSS

0

Updated Jan 12, 2021

0 0 0 0

Updated Jan 12, 2021
STEVAN Antoine / isae-phd-day
MIT License

The PhD day at ISAE-Supaero. (template from https://github.com/hakimel/reveal.js)

0

Updated Nov 14, 2023

0 2 0 0

Updated Nov 14, 2023
IDEA-public / naas-moodle-plugin

0

Updated May 18, 2021

0 0 0 0

Updated May 18, 2021
S

gt-dcas / simusat-group / simusat-dev

0

Updated Nov 24, 2023

0 0 0 0

Updated Nov 24, 2023
PEDRON Julien / testweb

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

0

Updated Apr 18, 2023

0 0 0 0

Updated Apr 18, 2023