Pinned Repositories
bibs
The joint bibliographies of the KWARC group. Automatically built by travis.
deprecated-LLaMaPUn
LLaMaPUn is Language and Mathematics Processing and Understanding
gf_kernel
A Jupyter Kernel for GF
GLIF
The Grammatical Logical Inference Framework
KAT
KAT: An Annotation Tool for STEM Documents
LaTeX-proposal
The Proposal package for LaTeX
LaTeXML
LaTeXML is a TeX and LaTeX to XML translator.
llamapun
common language and mathematics processing algorithms, in Rust
rust-libxml
Rust wrapper for libxml2
rust-libxslt
Rust wrapper for libxslt
The KWARC Research Group at FAU Erlangen-Nürnberg's Repositories
KWARC/rust-libxml
Rust wrapper for libxml2
KWARC/LaTeX-proposal
The Proposal package for LaTeX
KWARC/llamapun
common language and mathematics processing algorithms, in Rust
KWARC/rust-libxslt
Rust wrapper for libxslt
KWARC/GLIF
The Grammatical Logical Inference Framework
KWARC/bibs
The joint bibliographies of the KWARC group. Automatically built by travis.
KWARC/gf_kernel
A Jupyter Kernel for GF
KWARC/kalah-game
Kalah Game Protocol - Specification & Implementation
KWARC/openmathmap
Home directory of the OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data
KWARC/Kalah-Framework
Kalah framework for the AI course at FAU WS16/17
KWARC/nginx-proxy
Automated nginx proxy for Docker containers using docker-gen. Available as `kwarc/nginx-proxy` on DockerHub. Rebuilt nightly at 6:00 am.
KWARC/faulumpus
KWARC/water
WORK IN PROGRESS WissKI Automation Tool & Execution Robot
KWARC/ar5iv
A web service offering HTML5 articles from arXiv.org as converted with latexml
KWARC/ar5iv-redirect
Sometimes we need a signpost to point the way to the future
KWARC/cla-assistant
An auto-built mirror of https://github.com/cla-assistant/cla-assistant with minor fixes
KWARC/clatest
Repository to test clabot on
KWARC/coq-xml-script
Script to run coq xml export
KWARC/docker-gen
Generate files from docker container meta-data
KWARC/docker-sbt-builder
A Docker Image used to build anything with sbt. Depreacted in favor of mozilla/sbt.
KWARC/docs.kwarc.info
https://docs.kwarc.info/
KWARC/FoMID
KWARC/jekyll-website-deployer
Docker image for deploying jekyll websites via rsync and ssh.
KWARC/jupyter-upload-handler
KWARC/MOI
Math Object Identifier Database
KWARC/py-openmath
An OpenMath 2.0 implementation in Python
KWARC/smallgrp-to-csv
GAP code to read groups from SmallGrp, calculate some information, and export it to a CSV file
KWARC/static-website-deployer
Docker image for deploying static websites via rsync and ssh.
KWARC/wisski-devel
A docker-compose file for WissKI development
KWARC/WissKI-Distillery
Moved to https://gitlab.cs.fau.de/AGFD/wisski-distillery