Explore projects

View manual project

mws / manual

The MathWebSearch Manual

0

Updated Nov 30, 2014

0 0 0 0

Updated Nov 30, 2014
View LibreAlex project

sally4-office / LibreAlex

0

Updated Aug 02, 2015

0 0 0 0

Updated Aug 02, 2015
View MMT project

MMT / MMT

0

Updated Sep 22, 2023

0 0 0 55

Updated Sep 22, 2023
View sally4-utils project

sally4-core / sally4-utils

0

Updated Jun 08, 2015

0 0 0 0

Updated Jun 08, 2015
View SIDER project

Constantin Jucovschi / SIDER

0

Updated Sep 03, 2019

0 0 0 4

Updated Sep 03, 2019
View GF project

SMGloM / GF

We try to enrich SMGloM with syntactic information that will allow us to parse with GF.

0

Updated May 14, 2021

0 0 0 5

Updated May 14, 2021
View deepamehta-plugin-example project

Constantin Jucovschi / deepamehta-plugin-example

0

Updated Oct 26, 2018

0 0 0 0

Updated Oct 26, 2018
View sider-stex-wizards project

Constantin Jucovschi / sider-stex-wizards

0

Updated Jan 27, 2014

0 0 0 1

Updated Jan 27, 2014
View sider-defindexer project

Constantin Jucovschi / sider-defindexer

0

Updated Mar 01, 2020

0 0 0 7

Updated Mar 01, 2020
View PythonCompetitionIsh project

Tom Wiesing / PythonCompetitionIsh

Competition between python TicTacToe AIs

0

Updated Mar 03, 2017

0 0 0 0

Updated Mar 03, 2017
View Failframeit project

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
View AnnotationMockup project

Tom Wiesing / AnnotationMockup
MIT License

0

Updated Mar 07, 2018

0 0 0 0

Updated Mar 07, 2018
View sally4-features project

sally4-core / sally4-features

0

Updated Jun 08, 2015

0 0 0 0

Updated Jun 08, 2015
View theoexec project

Constantin Jucovschi / theoexec

0

Updated Jan 22, 2014

0 0 0 0

Updated Jan 22, 2014
View office-base project

sally4-office / office-base

0

Updated Aug 02, 2015

0 0 0 0

Updated Aug 02, 2015
View sider-nnexus project

Constantin Jucovschi / sider-nnexus

0

Updated Jan 22, 2014

0 0 0 0

Updated Jan 22, 2014
View build-system project

OAF / build-system

papers/manuals on the OAF build system.

0

Updated Jan 31, 2017

0

Updated Jan 31, 2017
View comm-annotation project

sally4-office / comm-annotation

0

Updated Aug 02, 2015

0 0 0 0

Updated Aug 02, 2015
View OWeekStuff project

Tom Wiesing / OWeekStuff

O Week Stuff from Tyler

Archived 0

Updated Sep 02, 2023

Archived 0 0 0 30

Updated Sep 02, 2023
View papers project

OMDoc / papers

0

Updated Apr 15, 2018

0 0 0 0

Updated Apr 15, 2018