Explore projects

N

sally4-mhw / nnexus

0

Updated Feb 25, 2016

0 0 0 0

Updated Feb 25, 2016
M

supervision / MSc-archive

archiving all the completed MSc supervision repositories after a while

2

Updated Aug 22, 2024

2 0 0 0

Updated Aug 22, 2024
M

Christian Maeder / mmt-errorView

user interface to present error output

0

Updated Mar 28, 2020

0 0 0 3

Updated Mar 28, 2020
M

sally4-mhw / mhw-stexservices

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
M

sally4-mhw / mhw-stex-compiler

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
M

sally4-mhw / mhw-mmt

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
M

Sally4 / mhw-lmh

0

Updated Oct 31, 2014

0 0 0 0

Updated Oct 31, 2014
M

sally4-mhw / mhw-compiler-workflow

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
M

sally4-mhw / mhw-base

0

Updated Jan 17, 2015

0 0 0 0

Updated Jan 17, 2015
K

sally4-office / krane-demo

0

Updated Aug 02, 2015

0 0 0 0

Updated Aug 02, 2015
G

COMMA / GLIF Demo IJCAR 2020

0

Updated Oct 02, 2020

0 0 0 0

Updated Oct 02, 2020
G

COMMA / glf-demo-lfmtp2019
GNU General Public License v3.0 or later

Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.

0

Updated May 22, 2019

0 0 0 0

Updated May 22, 2019
F

Dennis Müller / FiFoM

0

Updated May 24, 2020

0 0 0 0

Updated May 24, 2020
F

FrameIT / Failframeit
GNU General Public License v3.0 or later

The main development repository

0

Updated Jul 01, 2022

0 0 0 0

Updated Jul 01, 2022
C

sally4-core / client-js

0

Updated Aug 01, 2015

0 0 0 0

Updated Aug 01, 2015
C

Sally4 / client-js

JavaScript client for Sally

0

Updated Jan 26, 2015

0 0 0 0

Updated Jan 26, 2015
B

supervision / BSc-archive

we archive completed B.Sc supervision repositories here after a while

2

Updated Sep 27, 2024

2 0 0 0

Updated Sep 27, 2024