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 78 40

  2. LaTeX-proposal LaTeX-proposal Public

    The Proposal package for LaTeX

    TeX 68 34

  3. llamapun llamapun Public archive

    common language and mathematics processing algorithms, in Rust

    Rust 26 6

  4. rust-libxslt rust-libxslt Public

    Rust wrapper for libxslt

    Rust 11 4

  5. GLIF GLIF Public

    The Grammatical Logical Inference Framework

    Jupyter Notebook 8 1

  6. bibs bibs Public

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

    TeX 7 3

Repositories

Showing 10 of 51 repositories
  • bibs Public

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

    TeX 7 CC0-1.0 3 2 (1 issue needs help) 0 Updated Mar 27, 2025
  • openmathmap Public

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

    JavaScript 3 2 0 0 Updated Mar 27, 2025
  • FLAMS Public
    Rust 3 0 4 0 Updated Mar 25, 2025
  • rust-libxml Public

    Rust wrapper for libxml2

    Rust 78 MIT 40 19 (1 issue needs help) 2 Updated Feb 27, 2025
  • kalah-game Public

    Kalah Game Protocol - Specification & Implementation

    Go 5 9 0 0 Updated Jan 7, 2025
  • llamapun Public archive

    common language and mathematics processing algorithms, in Rust

    Rust 26 GPL-3.0 6 1 1 Updated Mar 25, 2024
  • GLIF Public

    The Grammatical Logical Inference Framework

    Jupyter Notebook 8 GPL-3.0 1 1 0 Updated Feb 21, 2024
  • gf_kernel Public

    A Jupyter Kernel for GF

    JavaScript 7 GPL-3.0 2 3 0 Updated Mar 1, 2023
  • LaTeX-proposal Public

    The Proposal package for LaTeX

    TeX 68 34 24 0 Updated May 21, 2022
  • ar5iv-redirect Public Forked from dginev/ar5iv-redirect

    Sometimes we need a signpost to point the way to the future

    Rust 0 MIT 1 0 0 Updated Feb 21, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…