@KWARC

The KWARC Research Group at FAU Erlangen-Nürnberg

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

    TeX 3 1 Updated Aug 20, 2017
  • common language and mathematics processing algorithms, in Rust

    Rust 2 2 Updated Aug 18, 2017
  • A LaTeXML Plugin for Semantic LaTeX (sTeX)

    Perl 1 Updated Aug 1, 2017
  • A semantic Extension of TeX/LaTeX

    TeX 11 6 Updated Jul 31, 2017
  • The new kwarc.info website

    JavaScript Updated Jul 22, 2017
  • Main repository for sharing files and documents about OpenDreamKit

    TeX 26 Updated Jul 9, 2017
  • KWARC blue notes class

    TeX Updated Jul 9, 2017
  • The Proposal package for LaTeX

    TeX 20 13 Updated Jun 20, 2017
  • Rust wrapper for libxml2

    Rust 3 6 Updated Jun 11, 2017
  • The errata package for LaTeX

    TeX 2 Updated May 9, 2017
  • C++ Updated May 8, 2017
  • MathWebSearch

    C++ 19 6 Updated May 5, 2017
  • Overview of KWARC projects on Github.

    HTML 1 2 Updated Apr 29, 2017
  • Drupal implementation of the MathHub system.

    PHP 4 1 Updated Apr 27, 2017
  • Configuration for setting up a docker instance of TEMA search

    Shell 2 Updated Apr 26, 2017
  • JavaScript API for OMDoc-based Active Documents

    JavaScript Updated Apr 24, 2017
  • A cross-repository administration tool for the local authoring in MathHub.info

    Python 2 Updated Feb 12, 2017
  • Kalah framework for the AI course at FAU WS16/17

    HTML 5 Updated Dec 14, 2016
  • KAT: An Annotation Tool for STEM Documents

    HTML 4 Updated Dec 7, 2016
  • JavaScript 2 2 Updated Oct 9, 2016
  • The Planetary System is a math-enabled Web 3.0 information portal.

    PHP 81 24 Updated Sep 6, 2016
  • JavaScript 29 Updated Aug 29, 2016
  • A docker image for all of KWARCs software. Work in progress.

    Updated Jul 6, 2016
  • Scala-based importers that crawl local folders or websites to produce MathWebSearch harvests

    Scala Updated Jul 1, 2016
  • PantaRhei

    PHP Updated Jun 30, 2016
  • Docker wrapper for lmh

    Shell 1 2 Updated Jun 30, 2016
  • The MathWeb.org domain and home page

    Updated Jun 21, 2016
  • LaTeXML is a TeX and LaTeX to XML translator.

    Perl 6 40 Updated May 1, 2016
  • Experimental extensions of the sTeX plugin for LaTeXML

    Perl Updated Feb 10, 2016
  • A LaTeXML extension for KWARC macro Packages

    Perl Updated Jan 15, 2016