The KWARC Research Group at FAU Erlangen-Nürnberg

rust-libxml

Rust wrapper for libxml2

LaTeX-proposal

The Proposal package for LaTeX

llamapun

common language and mathematics processing algorithms, in Rust

rust-libxslt

Rust wrapper for libxslt

GLIF

The Grammatical Logical Inference Framework

gf_kernel

A Jupyter Kernel for GF

bibs

The joint bibliographies of the KWARC group. Automatically built by travis.

kalah-game

Kalah Game Protocol - Specification & Implementation

openmathmap

Home directory of the OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data

Kalah-Framework

Kalah framework for the AI course at FAU WS16/17

nginx-proxy

Automated nginx proxy for Docker containers using docker-gen. Available as `kwarc/nginx-proxy` on DockerHub. Rebuilt nightly at 6:00 am.

faulumpus

water

WORK IN PROGRESS WissKI Automation Tool & Execution Robot

ar5iv

A web service offering HTML5 articles from arXiv.org as converted with latexml

ar5iv-redirect

Sometimes we need a signpost to point the way to the future

cla-assistant

An auto-built mirror of https://github.com/cla-assistant/cla-assistant with minor fixes

clatest

Repository to test clabot on

coq-xml-script

Script to run coq xml export

docker-gen

Generate files from docker container meta-data

docker-sbt-builder

A Docker Image used to build anything with sbt. Depreacted in favor of mozilla/sbt.

docs.kwarc.info

https://docs.kwarc.info/

FoMID

jekyll-website-deployer

Docker image for deploying jekyll websites via rsync and ssh.

jupyter-upload-handler

MOI

Math Object Identifier Database

py-openmath

An OpenMath 2.0 implementation in Python

smallgrp-to-csv

GAP code to read groups from SmallGrp, calculate some information, and export it to a CSV file

static-website-deployer

Docker image for deploying static websites via rsync and ssh.

wisski-devel

A docker-compose file for WissKI development

WissKI-Distillery

Moved to https://gitlab.cs.fau.de/AGFD/wisski-distillery