Explore projects
-
mbe-tools / TTool
OtherTTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paris.fr and @TTool_UML_SysML
Updated -
mbe-tools / VaFL
Eclipse Public License 2.0Experiment Specification (ExSpec) is a language to specify the provenance of experiment/simulation data. ExSpec models are the basis of the Validity Frame Language (VaFL, pronounced "waffle") to specify the validity frames of models.
Updated -
-
Updated
-
-
Updated
-
Updated
-
Teralab / AI Experiment Hello World
Apache License 2.0Updated -
Updated
-
mbe-tools / RAMSES-2
Eclipse Public License 2.0RAMSES-2 (Refinement of AADL Models for Synthesis of Embedded Systems) is a model refinement and code generation tool that produces C code for ARINC653, OSEK and POSIX-compliant operating systems. More at https://mem4csd.telecom-paristech.fr/blog/
Updated -
-
Updated
-
ring / MERLIN
GNU General Public License v3.0 or laterUpdated -
James Eagan / Patterns
MIT LicenseUpdated -
RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) is a model transformation and code generation tool that produces C code for ARINC653-compliant operating systems and OSEK-compliant operating systems.
Updated -
Renaud Pacalet / mli
CeCILL Free Software License Agreement v2.1Yet another Makefile for LaTeX
Updated