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

  2. LaTeX-proposal LaTeX-proposal Public

    The Proposal package for LaTeX

    TeX 62 34

  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 10 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 6 2

Repositories

Showing 10 of 50 repositories
  • rust-libxml Public

    Rust wrapper for libxml2

    KWARC/rust-libxml’s past year of commit activity
    Rust 69 MIT 38 17 (1 issue needs help) 2 Updated Jun 11, 2024
  • bibs Public

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

    KWARC/bibs’s past year of commit activity
    TeX 5 CC0-1.0 2 2 (1 issue needs help) 0 Updated Jun 3, 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
  • kalah-game Public

    Kalah Game Protocol - Specification & Implementation

    KWARC/kalah-game’s past year of commit activity
    Go 4 8 0 0 Updated Mar 12, 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 6 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 62 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

    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 10 MIT 4 0 0 Updated Feb 15, 2022
  • ar5iv Public Forked from dginev/ar5iv

    A web service offering HTML5 articles from arXiv.org as converted with latexml

    KWARC/ar5iv’s past year of commit activity
    Rust 0 MIT 21 0 0 Updated Feb 2, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…