2020-sed-intro-datascience

cellularautomata

diverse-project-videos

Git repo to host the Team future video presenting its activity.

dvojtise

eclipse-plugin-training

Files and projects support to the training about developping and deploying Eclpis Plugins

formation-ci-cd_fil-rouge-github

franca

A framework for defining and transforming interfaces

gemoc-buildenv

Docker images for building GEMOC

gemoc-gag-impl

gemoc-studio

gemoc-studio

gemoc-studio-eclipse-integration

Integration via git modules of GEMOC components @Eclipse for use by continuous integration server

gemoc-studio-eclipseforks-integration

Integration via git modules of GEMOC components in the GEMOC organization for use by continuous integration server

gemoc-studio-modeldebugging

gemoc-studio-modeldebugging

gemoc-xcapella

RCP description for a GEMOC Studio with Capella and xCapella

genandroid

git-sync-tools

Scripts used to help to synchronize git repositories when following some naming convention on branches

gitpoll

Easy way to poll for changes on remote git repositories and execute url based actions

interpretable-ml-book

Book about interpretable machine learning

itstools

A multi-formalism, multi-solution model-checker centered on the language GAL

jetty-eclipse-p2

attempt to build a standard eclipse P2 from maven based jetty p2

jquery-flight-indicators

The Flight Indicators Plugin allows you to display high quality flight indicators using html, css3, jQuery and SVG vector images

k3-doc

kompren

Modelling and Generating Model Slicers with Kompren

libits

Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

logo

maven-plantuml-plugin

A maven plugin to generate UML diagrams using PlantUML syntax

mde-crashcourse-logo

Material and demo projects of a course to discover MDE technologies in pratice. The course is applied on a Turtle logo language.

mini-expression-server

mini_activitydiagram

DSL for the edition, execution, simulation and animation of activity diagrams (e.g. fUML)

monitored_projects_dashboard

Dashboard of the build of the projects I monitor