Explore projects

View office-js-client project

sally4-office / office-js-client

0

Updated Aug 02, 2015

0 0 0 0

Updated Aug 02, 2015
View mhw-compiler-workflow project

sally4-mhw / mhw-compiler-workflow

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
View sally-client-python project

Sally4 / sally-client-python

0

Updated Jun 19, 2014

0 0 0 0

Updated Jun 19, 2014
View Pstex project

Frederik Schaefer / Pstex

0

Updated Jun 14, 2021

0 0 0 0

Updated Jun 14, 2021
View core project

sally5 / core

0

Updated Aug 19, 2015

0 0 0 0

Updated Aug 19, 2015
View office-features project

sally4-office / office-features

0

Updated Aug 02, 2015

0 0 0 0

Updated Aug 02, 2015
View client-js project

sally4-core / client-js

0

Updated Aug 01, 2015

0 0 0 0

Updated Aug 01, 2015
View relwork project

FrameIT / relwork

Related Work for FrameIT

0

Updated Feb 24, 2016

0 0 0 0

Updated Feb 24, 2016
View mhw-stexservices project

sally4-mhw / mhw-stexservices

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
View website project

SAIL / website

0

Updated Jun 27, 2025

0 0 0 0

Updated Jun 27, 2025
View D4.2 project

ODK / D4.2

Deliverable 4.2

0

Updated Jun 13, 2016

0 0 0 0

Updated Jun 13, 2016
View Sally-MHW project

sally4-mhw / Sally-MHW

0

Updated Feb 05, 2015

0 0 0 1

Updated Feb 05, 2015
View theo-nodewebkit project

sally4-core / theo-nodewebkit

0

Updated Aug 01, 2015

0 0 0 0

Updated Aug 01, 2015
View AnnotationMockup project

Tom Wiesing / AnnotationMockup
MIT License

0

Updated Mar 07, 2018

0 0 0 0

Updated Mar 07, 2018
View schaertl_andreas project

supervision / schaertl_andreas

0

Updated Nov 24, 2020

0 0 0 3

Updated Nov 24, 2020
View Fellowship_Prover_Mod project

ALMANAC / Fellowship_Prover_Mod

0

Updated Apr 08, 2025

0 0 0 0

Updated Apr 08, 2025
View nnexus project

sally4-mhw / nnexus

0

Updated Feb 25, 2016

0 0 0 0

Updated Feb 25, 2016
View CICM16-WiP project

FrameIT / CICM16-WiP

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

0

Updated Feb 24, 2020

0 0 0 0

Updated Feb 24, 2020
View sally4-module-archetype project

sally4-core / sally4-module-archetype

0

Updated Jun 08, 2015

0 0 0 0

Updated Jun 08, 2015
View text-base project

Sally4 / text-base

0

Updated Aug 29, 2014

0 0 0 0

Updated Aug 29, 2014