Explore projects

Spot / sandbox

Builds the docker image that runs on spot-sandbox.lrde.epita.fr.

0

Updated Feb 28, 2025

0 0 0 1

Updated Feb 28, 2025
S

Spot / spot-web-app
GNU General Public License v3.0 only

Online application for rewriting LTL formula or translating them into automata.

0

Updated Feb 06, 2024

0 0 0 3

Updated Feb 06, 2024
I

Edwin Carlinet / image-annotator-js

0

Updated Jan 09, 2023

0 0 0 0

Updated Jan 09, 2023
O

Olena / olena-demos

2

Updated Mar 27, 2022

2 0

Updated Mar 27, 2022