Skip to content
Change the repository type filter

All

    Repositories list

    • GloX

      Public
      The FAUstairs Glossary Extractors and Curator
      TypeScript
      0000Updated Feb 14, 2026Feb 14, 2026
    • ALeA

      Public
      TypeScript
      491026Updated Feb 13, 2026Feb 13, 2026
    • Python
      0401Updated Feb 12, 2026Feb 12, 2026
    • bibs

      Public
      The joint bibliographies of the KWARC group. Automatically built by travis.
      TeX
      3520Updated Feb 12, 2026Feb 12, 2026
    • Rust wrapper for libxml2
      Rust
      4587190Updated Dec 1, 2025Dec 1, 2025
    • Kalah Game Protocol - Specification & Implementation
      Go
      10700Updated Apr 3, 2025Apr 3, 2025
    • Home directory of the OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data
      JavaScript
      2300Updated Mar 27, 2025Mar 27, 2025
    • llamapun

      Public archive
      common language and mathematics processing algorithms, in Rust
      Rust
      63011Updated Mar 25, 2024Mar 25, 2024
    • GLIF

      Public
      The Grammatical Logical Inference Framework
      Jupyter Notebook
      1810Updated Feb 21, 2024Feb 21, 2024
    • gf_kernel

      Public
      A Jupyter Kernel for GF
      JavaScript
      4830Updated Mar 1, 2023Mar 1, 2023
    • The Proposal package for LaTeX
      TeX
      3469230Updated May 21, 2022May 21, 2022
    • Sometimes we need a signpost to point the way to the future
      Rust
      1000Updated Feb 21, 2022Feb 21, 2022
    • Rust wrapper for libxslt
      Rust
      51120Updated Feb 15, 2022Feb 15, 2022
    • ar5iv

      Public
      A web service offering HTML5 articles from arXiv.org as converted with latexml
      Rust
      25000Updated Feb 2, 2022Feb 2, 2022
    • Docker image for deploying jekyll websites via rsync and ssh.
      Dockerfile
      0000Updated Oct 7, 2021Oct 7, 2021
    • Docker image for deploying static websites via rsync and ssh.
      Dockerfile
      0000Updated Oct 7, 2021Oct 7, 2021
    • faulumpus

      Public
      Python
      1100Updated Jul 27, 2021Jul 27, 2021
    • MOI

      Public archive
      Math Object Identifier Database
      Python
      0021Updated Jun 10, 2021Jun 10, 2021
    • cla-assistant

      Public archive
      An auto-built mirror of https://github.com/cla-assistant/cla-assistant with minor fixes
      JavaScript
      0008Updated May 10, 2021May 10, 2021
    • Generate files from docker container meta-data
      Go
      617000Updated Apr 4, 2021Apr 4, 2021
    • Automated nginx proxy for Docker containers using docker-gen. Available as `kwarc/nginx-proxy` on DockerHub. Rebuilt nightly at 6:00 am.
      Python
      3.1k200Updated Apr 1, 2021Apr 1, 2021
    • FoMID

      Public
      00210Updated Feb 26, 2021Feb 26, 2021
    • Kalah framework for the AI course at FAU WS16/17
      HTML
      12120Updated Dec 19, 2020Dec 19, 2020
    • A docker-compose file for WissKI development
      Shell
      0000Updated Nov 19, 2020Nov 19, 2020
    • https://docs.kwarc.info/
      1000Updated Jul 31, 2020Jul 31, 2020
    • WissKI-Distillery

      Public archive
      Moved to https://gitlab.cs.fau.de/AGFD/wisski-distillery
      Shell
      0000Updated Jun 16, 2020Jun 16, 2020
    • An OpenMath 2.0 implementation in Python
      Python
      4000Updated May 22, 2020May 22, 2020
    • GAP code to read groups from SmallGrp, calculate some information, and export it to a CSV file
      GAP
      1000Updated Oct 29, 2019Oct 29, 2019
    • docker-sbt-builder

      Public archive
      A Docker Image used to build anything with sbt. Depreacted in favor of mozilla/sbt.
      Dockerfile
      0000Updated Sep 3, 2019Sep 3, 2019
    • clatest

      Public
      Repository to test clabot on
      0000Updated May 23, 2019May 23, 2019