Explore projects

W

KWARC / website

An attempt at a new KWARC web site based on the one from OpenDreamKit

Archived 0

Updated Apr 06, 2018

Archived 0 1 0

Updated Apr 06, 2018
M

Christian Maeder / mmt-errorView

user interface to present error output

0

Updated Mar 28, 2020

0 0 0 3

Updated Mar 28, 2020
S

Constantin Jucovschi / sider-nnexus

0

Updated Jan 22, 2014

0 0 0 0

Updated Jan 22, 2014
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
S

Constantin Jucovschi / sider-stex-wizards

0

Updated Jan 27, 2014

0 0 0 1

Updated Jan 27, 2014
S

Constantin Jucovschi / sider-defindexer

0

Updated Mar 01, 2020

0 0 0 7

Updated Mar 01, 2020
O

sally4-office / office-base

0

Updated Aug 02, 2015

0 0 0 0

Updated Aug 02, 2015
T

Sally4 / theo-appjs

0

Updated Apr 29, 2014

0 0 0 0

Updated Apr 29, 2014
S

Sally4 / sally4-simple-archetype

0

Updated Jul 01, 2014

0 0 0 0

Updated Jul 01, 2014
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
W

Richard Marcus / www

The (Jekyll generated part) of the kwarc website

0

Updated May 05, 2022

0 0 0 18

Updated May 05, 2022
M

sally4-mhw / mhw-mmt

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
G

COMMA / GLIF Demo IJCAR 2020

0

Updated Oct 02, 2020

0 0 0 0

Updated Oct 02, 2020
P

iMMT / papers

0

Updated May 21, 2017

0 0 0 0

Updated May 21, 2017
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
M

sally4-mhw / mhw-stexservices

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014