Explore projects
-
-
Giray Ozel / lsat
Eclipse Public License 2.0Updated -
Eclipse Projects / Lsat / lsat
Eclipse Public License 2.0Updated -
Eclipse Projects / papyrus / org.eclipse.papyrus-desktop
Eclipse Public License 2.0Updated -
Gert-Jan van den Braak / lsat
Eclipse Public License 2.0Updated -
Eclipse Projects / papyrus / org.eclipse.papyrus-classic
Eclipse Public License 2.0Updated -
-
-
Eclipse Projects / Eclipse TRACE4CPS / trace4cps
Eclipse Public License 2.0Trace4cps project
Updated -
-
Florian Barbin / org.eclipse.papyrus-desktop
Eclipse Public License 2.0Updated -
Eclipse Projects / APP4MC / org.eclipse.app4mc
Eclipse Public License 2.0APP4MC - Data model and main tools
Updated -
-
Edo Mangelaars / trace4cps-thesis
Eclipse Public License 2.0Fork of Eclipse TRACE4CPS™ to work on enhancements of the runtime verification features for my Master's thesis.
⚠ ️ Changes are in the thesis branch!UpdatedUpdated -
-
Gao JL / org.eclipse.papyrus-desktop
Eclipse Public License 2.0Updated -
Filippo Leonardi / lsat
Eclipse Public License 2.0Updated -
Tristan Albers / lsat
Eclipse Public License 2.0Updated -
-
Eeshvaran Dilan / org.eclipse.papyrus-desktop
Eclipse Public License 2.0Updated