Explore projects

D

MathHub / data-proposal

a new EU EOSC proposal

2

Updated Oct 03, 2019

2 0 0 1

Updated Oct 03, 2019
S

Constantin Jucovschi / SIDER

0

Updated Sep 03, 2019

0 0 0 4

Updated Sep 03, 2019
M

tetrapod / ModularKnowledge2018

1

Updated Jul 15, 2019

1 0 0 1

Updated Jul 15, 2019
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
A

OAF / alignment-finder

0

Updated Mar 07, 2019

0 0 0 0

Updated Mar 07, 2019
P

OAF / PVS
Other

0

Updated Feb 06, 2019

0 0 0 0

Updated Feb 06, 2019
D

Constantin Jucovschi / deepamehta-plugin-example

0

Updated Oct 26, 2018

0 0 0 0

Updated Oct 26, 2018
S

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

0

Updated Oct 04, 2018

0 0 0 7

Updated Oct 04, 2018
T

MathHub / TGStyler-paper

0

Updated Jul 05, 2018

0 0 0 0

Updated Jul 05, 2018
S

sally4-office / sally4-office

0

Updated Jun 04, 2018

0 0 0 0

Updated Jun 04, 2018
O

sally4-office / office-abstract-model

0

Updated Jun 04, 2018

0 0 0 0

Updated Jun 04, 2018
S

sally4-core / Sally4-Core

This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.

0

Updated May 28, 2018

0 0 0 0

Updated May 28, 2018
P

OMDoc / papers

0

Updated Apr 15, 2018

0 0 0 0

Updated Apr 15, 2018
P

KAT / papers

KAT papers

0

Updated Apr 15, 2018

0 0 0 0

Updated Apr 15, 2018
A

Tom Wiesing / AnnotationMockup
MIT License

0

Updated Mar 07, 2018

0 0 0 0

Updated Mar 07, 2018
B

SMGloM / blue

The Blue Notes of the SMGloM project

0

Updated Mar 07, 2018

0 0 0 0

Updated Mar 07, 2018
P

iMMT / papers

0

Updated May 21, 2017

0 0 0 0

Updated May 21, 2017
P

Tom Wiesing / PythonCompetitionIsh

Competition between python TicTacToe AIs

0

Updated Mar 03, 2017

0 0 0 0

Updated Mar 03, 2017
B

OAF / build-system

papers/manuals on the OAF build system.

0

Updated Jan 31, 2017

0

Updated Jan 31, 2017
D

ODK / D4.2

Deliverable 4.2

0

Updated Jun 13, 2016

0 0 0 0

Updated Jun 13, 2016