Explore projects

S

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

0

Updated Oct 04, 2018

0 0 0 7

Updated Oct 04, 2018
S

Michael Wagner / Semantification OEIS zbMATH

0

Updated Aug 12, 2021

0 0 0 0

Updated Aug 12, 2021
S

supervision / seminar

Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.

0

Updated Oct 09, 2024

0 1 1 0

Updated Oct 09, 2024
S

Constantin Jucovschi / SIDER

0

Updated Sep 03, 2019

0 0 0 4

Updated Sep 03, 2019
S

Constantin Jucovschi / sider-defindexer

0

Updated Mar 01, 2020

0 0 0 7

Updated Mar 01, 2020
S

Constantin Jucovschi / sider-nnexus

0

Updated Jan 22, 2014

0 0 0 0

Updated Jan 22, 2014
S

Constantin Jucovschi / sider-stex-wizards

0

Updated Jan 27, 2014

0 0 0 1

Updated Jan 27, 2014
S

Constantin Jucovschi / sublime_lmh

0

Updated Jan 28, 2014

0 0 0 0

Updated Jan 28, 2014
T

Sally4 / text-base

0

Updated Aug 29, 2014

0 0 0 0

Updated Aug 29, 2014
T

MathHub / TGStyler-paper

0

Updated Jul 05, 2018

0 0 0 0

Updated Jul 05, 2018
T

Sally4 / theo-appjs

0

Updated Apr 29, 2014

0 0 0 0

Updated Apr 29, 2014
T

Constantin Jucovschi / theoexec

0

Updated Jan 22, 2014

0 0 0 0

Updated Jan 22, 2014
T

sally4-core / theo-nodewebkit

0

Updated Aug 01, 2015

0 0 0 0

Updated Aug 01, 2015
T

KWARC / thesis-projects

2

Updated Sep 30, 2024

2 0 0 49

Updated Sep 30, 2024
T

Michael Wagner / THODS

0

Updated May 27, 2022

0 0 0 0

Updated May 27, 2022
U

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

2

Updated Sep 22, 2024

2 0 0 15

Updated Sep 22, 2024
U

FrameIT / UFrameIT install

0

Updated Sep 08, 2024

0 0 0 0

Updated Sep 08, 2024
U

FrameIT / Unity Webview

0

Updated Sep 22, 2024

0 0 0 0

Updated Sep 22, 2024
W

SIGMathLing / website

Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)

1

Updated Apr 30, 2024

1 0 1 5

Updated Apr 30, 2024
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