Pinned Repositories
k3
action language providing open class mechanism to xtend/java
2020-sed-intro-datascience
cellularautomata
diverse-project-videos
Git repo to host the Team future video presenting its activity.
dvojtise
genandroid
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.
gemoc-studio
gemoc-studio
gemoc-studio-modeldebugging
gemoc-studio-modeldebugging
git-sync-tools
Scripts and maven plugin used to synchronize repositories with git submodules by following naming convention on branches (discover/remove new branches)
dvojtise's Repositories
dvojtise/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.
dvojtise/2020-sed-intro-datascience
dvojtise/genandroid
dvojtise/formation-ci-cd_fil-rouge-github
dvojtise/franca
A framework for defining and transforming interfaces
dvojtise/gemoc-buildenv
Docker images for building GEMOC
dvojtise/gemoc-gag-impl
dvojtise/gemoc-studio
gemoc-studio
dvojtise/gemoc-studio-eclipse-integration
Integration via git modules of GEMOC components @Eclipse for use by continuous integration server
dvojtise/gemoc-studio-eclipseforks-integration
Integration via git modules of GEMOC components in the GEMOC organization for use by continuous integration server
dvojtise/gemoc-xcapella
RCP description for a GEMOC Studio with Capella and xCapella
dvojtise/git-sync-tools
Scripts used to help to synchronize git repositories when following some naming convention on branches
dvojtise/gitpoll
Easy way to poll for changes on remote git repositories and execute url based actions
dvojtise/interpretable-ml-book
Book about interpretable machine learning
dvojtise/ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
dvojtise/jetty-eclipse-p2
attempt to build a standard eclipse P2 from maven based jetty p2
dvojtise/libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
dvojtise/mini-expression-server
dvojtise/mini_activitydiagram
DSL for the edition, execution, simulation and animation of activity diagrams (e.g. fUML)
dvojtise/monitored_projects_dashboard
Dashboard of the build of the projects I monitor
dvojtise/ormlite-examples
Various example programs
dvojtise/OSSRH-84303
projet for validation required by OSSRH
dvojtise/p2-browser
Browse contents of p2 repos (both aggregates and composites), with ability to filter for IUs/capabilities. Forked from Igor's original source and updated to be more current.
dvojtise/plantuml
Embed UML diagrams in files and view them in Eclipse
dvojtise/teaching
public resources about some of the lessons I teached
dvojtise/test
dvojtise/testssh
dvojtise/tycho
Tycho project repository (tycho)
dvojtise/unity-swt
Small guide on how to run and interact with a Unity scene on SWT
dvojtise/xtext
Eclipse Xtext™ is a language development framework