Explore projects

W

KWARC / kwarc.info / www

The (Jekyll generated part) of the kwarc website

0

Updated Nov 23, 2023

0 1 0 4

Updated Nov 23, 2023
M

sally4-mhw / mhw-mmt

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
M

Christian Maeder / mmt-errorView

user interface to present error output

0

Updated Nov 06, 2023

0 0 0 3

Updated Nov 06, 2023
M

sally4-mhw / mhw-base

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
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-nnexus

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
S

Constantin Jucovschi / sider-stex-wizards

0

Updated Nov 06, 2023

0 0 0 1

Updated Nov 06, 2023
S

Constantin Jucovschi / sider-defindexer

0

Updated Nov 06, 2023

0 0 0 7

Updated Nov 06, 2023
T

Sally4 / theo-appjs

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
O

sally4-office / office-base

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
S

Sally4 / sally4-simple-archetype

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
P

iMMT / papers

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
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 Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
U

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

0

Updated Nov 26, 2023

0 0 0 8

Updated Nov 26, 2023
S

Ulrich Rabenstein / Semanticextraction
GNU General Public License v3.0 only

0

Updated Nov 06, 2023

0 0 0 7

Updated Nov 06, 2023
F

Dennis Müller / FiFoM

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023