Explore projects
-
Tomasz Soltysinski / proof-manager
Apache License 2.0Updated -
Christoph Becker / proof-manager
Apache License 2.0Updated -
Martin Jürgens / Proof Manager
Apache License 2.0Updated -
Christoph Becker / principal-manager
Apache License 2.0Updated -
David Stächele / principal-manager
Apache License 2.0Updated -
Martin Jürgens / Principal Manager
Apache License 2.0Updated -
Updated
-
Eclipse Projects / papyrus / org.eclipse.papyrus-web
Eclipse Public License 2.0Papyrus for web-browser
Updated -
-
-
-
Eclipse Projects / Eclipse openK User Modules / org.eclipse.openk-usermodules.statementPublicAffairs.frontend
Eclipse Public License 2.0Updated -
Jan Schatt / org.eclipse.openk-usermodules.statementPublicAffairs.frontend
Eclipse Public License 2.0Updated -
Christian Simon / org.eclipse.openk-usermodules.statementPublicAffairs.frontend
Eclipse Public License 2.0Updated -
Christian Kulenkampff / org.eclipse.openk-usermodules.statementPublicAffairs.frontend
Eclipse Public License 2.0Updated -
Eclipse Projects / Eclipse openK User Modules / org.eclipse.openk-usermodules.standbyPlanning.frontend
Eclipse Public License 2.0Updated