kwarc Goto Github PK

apache-php-docker

An Apache PHP Docker Image used at KWARC

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

bibs

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

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

deprecated-llamapun

LLaMaPUn is Language and Mathematics Processing and Understanding

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/

faulumpus

fomid

gf_kernel

A Jupyter Kernel for GF

gitlab-force-upload

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

glif

The Grammatical Logical Inference Framework

jekyll-website-deployer

Docker image for deploying jekyll websites via rsync and ssh.

jobad

JavaScript API for OMDoc-based Active Documents

jobad-modules

JOBAD Modules repository

jupyter-console-standalone

A Standalone Jupiter Console Server Extension

jupyter-upload-handler

jupyterhub-mathhub-deploy-docker

Reference deployment of JupyterHub with docker

kalah-framework

Kalah framework for the AI course at FAU WS16/17

kalah-game

Kalah Game Protocol - Specification & Implementation

kat

KAT: An Annotation Tool for STEM Documents

kwarc.github.io

Overview of KWARC projects on Github.

latex-bluenote

KWARC blue notes class

latex-errata

The errata package for LaTeX

latex-proposal

The Proposal package for LaTeX

latexml

LaTeXML is a TeX and LaTeX to XML translator.