Skip to content

@KWARC The KWARC Research Group at FAU Erlangen-Nürnberg

Change the repository type filter

All

    Repositories list

    51 repositories

    • iMMT

      Public
      Rust
      •0•0•1•0•Updated Dec 25, 2024Dec 25, 2024

    • kalah-game

      Public
      Kalah Game Protocol - Specification & Implementation
      Go
      •9•4•0•0•Updated Dec 11, 2024Dec 11, 2024

    • bibs

      Public
      The joint bibliographies of the KWARC group. Automatically built by travis.
      TeX
      •
      Creative Commons Zero v1.0 Universal
      •3•6•2•0•Updated Dec 11, 2024Dec 11, 2024

    • rust-libxml

      Public
      Rust wrapper for libxml2
      xmlffi-wrapperrust-wrapperlibxml2
      Rust
      •
      MIT License
      •38•76•18•3•Updated Nov 27, 2024Nov 27, 2024

    • llamapun

      Public archive
      common language and mathematics processing algorithms, in Rust
      Rust
      •
      GNU General Public License v3.0
      •6•25•1•1•Updated Mar 25, 2024Mar 25, 2024

    • GLIF

      Public
      The Grammatical Logical Inference Framework
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •1•8•1•0•Updated Feb 21, 2024Feb 21, 2024

    • gf_kernel

      Public
      A Jupyter Kernel for GF
      JavaScript
      •
      GNU General Public License v3.0
      •2•7•3•0•Updated Mar 1, 2023Mar 1, 2023

    • LaTeX-proposal

      Public
      The Proposal package for LaTeX
      TeX
      •33•67•24•0•Updated May 21, 2022May 21, 2022

    • ar5iv-redirect

      Public
      Sometimes we need a signpost to point the way to the future
      Rust
      •
      MIT License
      •1•0•0•0•Updated Feb 21, 2022Feb 21, 2022

    • rust-libxslt

      Public
      Rust wrapper for libxslt
      xmlxsltffi-wrapperrust-wrapperlibxslt
      Rust
      •
      MIT License
      •4•11•0•0•Updated Feb 15, 2022Feb 15, 2022

    • ar5iv

      Public
      A web service offering HTML5 articles from arXiv.org as converted with latexml
      Rust
      •
      MIT License
      •20•0•0•0•Updated Feb 2, 2022Feb 2, 2022

    • jekyll-website-deployer

      Public
      Docker image for deploying jekyll websites via rsync and ssh.
      Dockerfile
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Oct 7, 2021Oct 7, 2021

    • static-website-deployer

      Public
      Docker image for deploying static websites via rsync and ssh.
      Dockerfile
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Oct 7, 2021Oct 7, 2021

    • faulumpus

      Public
      Python
      •
      GNU General Public License v3.0
      •1•1•0•0•Updated Jul 27, 2021Jul 27, 2021

    • MOI

      Public
      Math Object Identifier Database
      Python
      •
      MIT License
      •0•0•2•1•Updated 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
      •
      Apache License 2.0
      •0•0•0•8•Updated May 10, 2021May 10, 2021

    • docker-gen

      Public
      Generate files from docker container meta-data
      Go
      •
      MIT License
      •606•0•0•0•Updated Apr 4, 2021Apr 4, 2021

    • nginx-proxy

      Public
      Automated nginx proxy for Docker containers using docker-gen. Available as `kwarc/nginx-proxy` on DockerHub. Rebuilt nightly at 6:00 am.
      Python
      •
      MIT License
      •3k•2•0•0•Updated Apr 1, 2021Apr 1, 2021

    • FoMID

      Public
      0•0•21•0•Updated Feb 26, 2021Feb 26, 2021

    • Kalah-Framework

      Public
      Kalah framework for the AI course at FAU WS16/17
      HTML
      •12•2•2•0•Updated Dec 19, 2020Dec 19, 2020

    • water

      Public
      WORK IN PROGRESS WissKI Automation Tool & Execution Robot
      Go
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated Nov 26, 2020Nov 26, 2020

    • wisski-devel

      Public
      A docker-compose file for WissKI development
      Shell
      •0•0•0•0•Updated Nov 19, 2020Nov 19, 2020

    • docs.kwarc.info

      Public
      https://docs.kwarc.info/
      1•0•0•0•Updated Jul 31, 2020Jul 31, 2020

    • WissKI-Distillery

      Public archive
      Moved to https://gitlab.cs.fau.de/AGFD/wisski-distillery
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 16, 2020Jun 16, 2020

    • py-openmath

      Public
      An OpenMath 2.0 implementation in Python
      Python
      •
      MIT License
      •4•0•0•0•Updated May 22, 2020May 22, 2020

    • smallgrp-to-csv

      Public
      GAP code to read groups from SmallGrp, calculate some information, and export it to a CSV file
      GAP
      •1•0•0•0•Updated Oct 29, 2019Oct 29, 2019

    • openmathmap

      Public
      Home directory of the OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data
      JavaScript
      •2•3•0•0•Updated Sep 9, 2019Sep 9, 2019

    • docker-sbt-builder

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

    • clatest

      Public
      Repository to test clabot on
      0•0•0•0•Updated May 23, 2019May 23, 2019

    • coq-xml-script

      Public
      Script to run coq xml export
      Shell
      •
      MIT License
      •1•0•0•0•Updated Mar 15, 2019Mar 15, 2019