Johannes Stegmüller's starred repositories
mathml-docs
Notes and other documents by the Math WG. See also https://github.com/w3c/mathml-core (repo for the MathML Core spec) and https://github.com/w3c/mathml (repo for the MathML 4 spec).
mathml-core
MathML Core draft
MathJax-src
MathJax source code for version 3 and beyond
yoda-portal
Web portal for Yoda: https://github.com/UtrechtUniversity/yoda
mediawiki-extensions-MathSearch
Github mirror of MediaWiki extension MathSearch - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
ISE-teaching
Resources for the Information Service Engineering 2021 lecture, summer semester 2021 at Karlsruhe Institute of Technology (KIT).
latexPaperTemplate
This repository serves as a template for LaTeX papers.
watchparty
Watch anything together in-sync with your friends
aws-s3-virusscan
Antivirus for Amazon S3
netlify-plugin-checklinks
Netlify build plugin check your links and asset references
docker-duplicacy
Duplicacy Web Edition in a container
awesome-grpc
A curated list of useful resources for gRPC
KinectCam
This project is the code posted by ScottOrange on the MSDN. He developed a small program to allow use of the Kinect Camera as a webcam. Originally made for the Beta, he updated the code to the version 1.0 microsoft SDK.http://social.msdn.microsoft.com/Forums/en-US/kinectsdk/thread/4ee6e7ca-123d-4838-82b6-e5816bf6529c
awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
democracy-client
DEMOCRACY App Client