jdeantoni
Follow
-
-
TCOS.lang Public
a metalanguage for Timed and Concurrent Operational Semantics
-
intro_info_web_sandbox Public
jupyterlite instance to tests freely anything
Jupyter Notebook UpdatedOct 8, 2024 -
-
ArduinoML-kernel Public
Forked from mosser/ArduinoML-kernelZoo of implementations associated to the ArduinoML kernel
C GNU Lesser General Public License v3.0 UpdatedNov 20, 2023 -
TaskInterferenceSimulator Public
multi agent timed discrete event simulator to simulate the interference between tasks accessing shared resources (like memory)
JavaScript Eclipse Public License 2.0 UpdatedNov 13, 2023 -
-
KilnRegulator3.0 Public
The objective is to provide a cheap and up to date kiln regulator based on a micro controller and a smart phone app
-
-
-
intro_info_web_lab1 Public
simple jupylite server for the introductive course to computer science in University Cote d'Azur
Jupyter Notebook UpdatedSep 22, 2022 -
-
gemoc-studio-execution-moccml Public
Forked from eclipse-gemoc/gemoc-studio-execution-moccmlgemoc-studio-execution-moccml
Java Eclipse Public License 1.0 UpdatedApr 8, 2022 -
polytechWebotsController Public
This is a repo with a java based API ton control a cyberbotics robots (webots) based on the "create" robot (https://cyberbotics.com/doc/guide/create) with a pen and a gripper
-
-
simpleConcurrentLanguage Public
a very simple concurrent language to illustrate GEMOc model of concurrency
Java Eclipse Public License 2.0 UpdatedNov 4, 2021 -
-
lingua-franca Public
Forked from lf-lang/lingua-francaA coordination language for defining and composing reactors. See the Wiki for documentation.
Xtend Other UpdatedAug 31, 2021 -
-
franca Public
Forked from franca/francaA framework for defining and transforming interfaces
Xtend Eclipse Public License 1.0 UpdatedJun 4, 2021 -
-
gemocToyLanguage Public
an overly simple and small language realized interactively with the student @ Polytech'Nice
-
k3 Public
Forked from diverse-project/k3action language providing open class mechanism to xtend/java
Java Eclipse Public License 1.0 UpdatedOct 14, 2020 -
DrinkingFactory Public
simple UI in Java Swing for a simple drinking machine used for teaching
-
This is an example of co-simulation using a new API, extension of the FMI standard for correct co-simulation
Java Eclipse Public License 2.0 UpdatedJul 4, 2020 -
webots Public
Forked from cyberbotics/webotsWebots Robot Simulator
C++ Apache License 2.0 UpdatedJun 19, 2020 -
xCapella Public
Forked from smadelenat/CapellaModeAutomataCapella Mode Automaton experimental prototype
-
PolyCar Public
a V-REP scene together with a java abstraction layer on top of the vrep remote api
-
ERTS2020_artifacts Public
This is the experiments results and artifacts decribed in the ERTS2020 paper
Gnuplot UpdatedOct 30, 2019 -
miniTutoGemocKairos Public
a small language done interactively with members of the Kairos team