Explore projects

T

MathHub / TGStyler-paper

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
M

tetrapod / ModularKnowledge2018

1

Updated Nov 06, 2023

1 0 0 1

Updated Nov 06, 2023
P

OAF / PVS
Other

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
P

Tom Wiesing / PythonCompetitionIsh

Competition between python TicTacToe AIs

0

Updated Nov 06, 2023

0 0 0 0

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

KWARC / thesis-projects

1

Updated Nov 06, 2023

1 0 0 50

Updated Nov 06, 2023
M

KWARC / macros

0

Updated Nov 06, 2023

0 0 0 3

Updated Nov 06, 2023
B

FrameIT / bsc16-rochau

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
C

FrameIT / CICM16-WiP

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
D

ODK / D4.2

Deliverable 4.2

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
R

FrameIT / relwork

Related Work for FrameIT

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
B

OAF / build-system

papers/manuals on the OAF build system.

0

Updated Nov 06, 2023

0

Updated Nov 06, 2023
C

Tom Wiesing / CorTeXDummy

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
C

sally5 / core

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
I

sally4-office / instancefinder

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
O

sally4-office / office-features

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
O

sally4-office / office-abstract-model

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
O

sally4-office / office-js-client

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
A

sally4-office / AlexInventor

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
K

sally4-office / krane-demo

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023