The KWARC Research Group at FAU Erlangen-Nürnberg

The KWARC Research Group at FAU Erlangen-Nürnberg's repositories

deprecated-LLaMaPUn

LLaMaPUn is Language and Mathematics Processing and Understanding

Language:HTMLGPL-3.04 10 2

KAT

KAT: An Annotation Tool for STEM Documents

Language:HTMLNOASSERTION4 19 69

LaTeXML

LaTeXML is a TeX and LaTeX to XML translator.

Language:PerlNOASSERTION4 14 8

LaTeXML-Plugin-Doc

LaTeXML post-processing target for the DOC and ODT formats

Language:TeXUnlicense3 19 7

Sally

Semantic Ally

Language:JavaScript2 9 14

gitlab-force-upload

A Golang script to force upload a folder as a git repository

Language:GoUnlicense1 90

apache-php-docker

An Apache PHP Docker Image used at KWARC

Language:DockerfileUnlicense080

jobad

JavaScript API for OMDoc-based Active Documents

Language:JavaScriptGPL-3.0010 1

jobad-modules

JOBAD Modules repository

Language:JavaScriptGPL-3.00100

jupyter-console-standalone

A Standalone Jupiter Console Server Extension

Language:JavaScriptBSD-3-Clause000

jupyterhub-mathhub-deploy-docker

Reference deployment of JupyterHub with docker

Language:PythonBSD-3-Clause080

kwarc.github.io

Overview of KWARC projects on Github.

Language:HTMLGPL-3.0000

LaTeX-bluenote

KWARC blue notes class

Language:TeX000

LaTeX-errata

The errata package for LaTeX

Language:TeX015 1

LaTeXML-Plugin-KWARC

A LaTeXML extension for KWARC macro Packages

Language:PerlLPPL-1.3c070

LaTeXML-Plugin-latexmlstomp

A STOMP socket server for LaTeXML

Language:PerlUnlicense012 1

mathweb-org

The MathWeb.org domain and home page

Language:HTML070

MMT-Docker

A Docker for MMT

Unlicense070

mwetoolkit

KWARC's fork of http://sourceforge.net/projects/mwetoolkit/

Language:PythonGPL-3.00140

ssh-rsync-docker

A simple docker container which runs an sshd daemon for a single user with rsync enabled.

Language:ShellUnlicense000