Skip to content
@KWARC

The KWARC Research Group at FAU Erlangen-Nürnberg

Popular repositories Loading

  1. rust-libxml rust-libxml Public

    Rust wrapper for libxml2

    Rust 94 51

  2. LaTeX-proposal LaTeX-proposal Public

    The Proposal package for LaTeX

    TeX 73 35

  3. llamapun llamapun Public archive

    common language and mathematics processing algorithms, in Rust

    Rust 30 6

  4. rust-libxslt rust-libxslt Public

    Rust wrapper for libxslt

    Rust 12 6

  5. ALeA ALeA Public

    TypeScript 11 5

  6. GLIF GLIF Public

    The Grammatical Logical Inference Framework

    Jupyter Notebook 9 1

Repositories

Showing 10 of 52 repositories
  • GloX Public

    The FAUstairs Glossary Extractors and Curator

    KWARC/GloX's past year of commit activity
    TypeScript 1 0 21 0 Updated Sep 17, 2026
  • ALeA Public
    KWARC/ALeA's past year of commit activity
    TypeScript 11 AGPL-3.0 5 91 (1 issue needs help) 5 Updated Sep 16, 2026
  • bibs Public

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

    KWARC/bibs's past year of commit activity
    TeX 6 CC0-1.0 4 2 (1 issue needs help) 0 Updated Sep 10, 2026
  • rust-libxml Public

    Rust wrapper for libxml2

    KWARC/rust-libxml's past year of commit activity
    Rust 94 MIT 51 20 (7 issues need help) 1 Updated Sep 9, 2026
  • rust-libxslt Public

    Rust wrapper for libxslt

    KWARC/rust-libxslt's past year of commit activity
    Rust 12 MIT 6 1 (1 issue needs help) 0 Updated Jul 12, 2026
  • semantic-video Public
    KWARC/semantic-video's past year of commit activity
    Python 4 MIT 0 0 1 Updated Feb 23, 2026
  • kalah-game Public

    Kalah Game Protocol - Specification & Implementation

    KWARC/kalah-game's past year of commit activity
    Go 7 10 1 0 Updated Apr 3, 2025
  • openmathmap Public

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

    KWARC/openmathmap's past year of commit activity
    JavaScript 3 2 0 0 Updated Mar 27, 2025
  • llamapun Public archive

    common language and mathematics processing algorithms, in Rust

    KWARC/llamapun's past year of commit activity
    Rust 30 GPL-3.0 6 1 1 Updated Mar 25, 2024
  • GLIF Public

    The Grammatical Logical Inference Framework

    KWARC/GLIF's past year of commit activity
    Jupyter Notebook 9 GPL-3.0 1 1 0 Updated Feb 21, 2024
View all repositories