Giters
Michael Kohlhase (kohlhase)

kohlhase

Geek Repo

83

followers

0

following

2

stars

Company:Computer Science, FAU Erlangen Nürnberg

Location:Erlangen, Germany

Home Page:http://kwarc.info/kohlhase

Github PK Tool:Github PK Tool

Organizations
ICMS-conference
KWARC
MathML
OMDoc
OpenDreamKit
OpenMath
sagemath
theoremprover-museum
UFrameIT
UniFormal

Michael Kohlhase's repositories

CambridgeLCF

Cambridge LCF, a port of LCF to ML

Language:Common LispStargazers:8Issues:1Issues:0

LaTeXML

LaTeXML is a TeX and LaTeX to XML translator.

Language:PerlLicense:NOASSERTIONStargazers:1Issues:0Issues:0

CDs

The OpenMath Content Dictionaries

Language:XSLTStargazers:0Issues:1Issues:0

CorTeX

A general purpose processing framework for corpora of TeX documents

Language:TeXStargazers:0Issues:1Issues:0

GLIFkernel

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

kohlhase.github.io

The kohlhase.net web site

Language:RubyLicense:AGPL-3.0Stargazers:0Issues:4Issues:0

OMSTD

The OpenMath Standard (starting with OpenMath 2)

Language:XSLTStargazers:0Issues:1Issues:0

sTeX

A semantic Extension of TeX/LaTeX

Language:TeXStargazers:0Issues:2Issues:0

website

Website for MathML

Language:HTMLStargazers:0Issues:0Issues:0

WOIDE

MS Word IDE for Annotation

License:GPL-3.0Stargazers:0Issues:0Issues:0