Skip to content

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

Change the repository type filter

Forks

    Repositories list

    7 repositories

    • 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

    • 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

    • 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

    • 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

    • jupyter-console-standalone

      Public
      A Standalone Jupiter Console Server Extension
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Oct 19, 2017Oct 19, 2017