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 76 38

  2. LaTeX-proposal LaTeX-proposal Public

    The Proposal package for LaTeX

    TeX 67 33

  3. llamapun llamapun Public archive

    common language and mathematics processing algorithms, in Rust

    Rust 25 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. gf_kernel gf_kernel Public

    A Jupyter Kernel for GF

    JavaScript 7 2

Repositories

Showing 10 of 51 repositories
  • iMMT Public
    KWARC/iMMT’s past year of commit activity
    Rust 0 0 1 0 Updated Dec 23, 2024
  • kalah-game Public

    Kalah Game Protocol - Specification & Implementation

    KWARC/kalah-game’s past year of commit activity
    Go 4 9 0 0 Updated Dec 11, 2024
  • 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 3 2 (1 issue needs help) 0 Updated Dec 11, 2024
  • rust-libxml Public

    Rust wrapper for libxml2

    KWARC/rust-libxml’s past year of commit activity
    Rust 76 MIT 38 18 (1 issue needs help) 3 Updated Nov 27, 2024
  • llamapun Public archive

    common language and mathematics processing algorithms, in Rust

    KWARC/llamapun’s past year of commit activity
    Rust 25 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 8 GPL-3.0 1 1 0 Updated Feb 21, 2024
  • gf_kernel Public

    A Jupyter Kernel for GF

    KWARC/gf_kernel’s past year of commit activity
    JavaScript 7 GPL-3.0 2 3 0 Updated Mar 1, 2023
  • LaTeX-proposal Public

    The Proposal package for LaTeX

    KWARC/LaTeX-proposal’s past year of commit activity
    TeX 67 33 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

    KWARC/ar5iv-redirect’s past year of commit activity
    Rust 0 MIT 1 0 0 Updated Feb 21, 2022
  • rust-libxslt Public

    Rust wrapper for libxslt

    KWARC/rust-libxslt’s past year of commit activity
    Rust 11 MIT 4 0 0 Updated Feb 15, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…