Pinned Repositories
flink
Apache Flink
mathosphere
MathJax
Beautiful and accessible math in all browsers
mathoid-docs
This repo contains additional documentation on mathoid
mathoid-server
Mirror of mediawiki-services-mathoid
texvcCheckPhp
Lexing experiments in PHP
xstlprocJ
Commandline xslt 2.0 processing
mediawiki
š» The collaborative editing software that runs Wikipedia. MirrorĀ fromĀ https://gerrit.wikimedia.org/g/mediawiki/core. SeeĀ https://mediawiki.org/wiki/Developer_access forĀ contributing.
mediawiki-services-texvcjs
A LaTeX validator/translator for TeX strings embedded in wikitext
physikerwelt's Repositories
physikerwelt/mathosphere2
physikerwelt/mediawiki-docker
physikerwelt/.github
physikerwelt/bibtexbrowser
Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)
physikerwelt/codemeta
Minimal metadata schemas for science software and code, in JSON-LD
physikerwelt/fiz-oai-docker
physikerwelt/incubator-flink
Mirror of Apache Flink
physikerwelt/lean1
physikerwelt/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
physikerwelt/mardiclient
MaRDI client to interact with the MaRDI knowledge graph
physikerwelt/MardiSkin
physikerwelt/MathCAT
MathCAT: Math Capable Assistive Technology for generating speech, braille, and navigation.
physikerwelt/MathJax-website
The MathJax website
physikerwelt/MathMLQueryGenerator
Converts MathML query expressions to equivalent XQuery statements.
physikerwelt/mediawiki-vagrant
A virtual MediaWiki development environment, built on Vagrant, VirtualBox, and Puppet.
physikerwelt/mw-math-testing
Repository to store config for testing MediaWikis Math extension using docker locally
physikerwelt/NEPviewerCR
(Partial) NEPViewer replacement for desktop/laptop computers
physikerwelt/OMSVN
The OpenMath repository, ported from the old svn
physikerwelt/OpenMath.github.io
For the OpenMath.org website
physikerwelt/phpeggy
PHP target for Peggy parser generator
physikerwelt/physikerwelt.github.io
physikerwelt/Praktomat
quality control for programming assignments
physikerwelt/restbase
Distributed storage with REST API & dispatcher for backend services
physikerwelt/snapquery
Frontend to Introduce Named Queries and Named Query Middleware to wikidata
physikerwelt/SPARQL
MediaWiki extension to run SPARQL queries and template their results via Lua
physikerwelt/swh-client
Software Heritage API-Client
physikerwelt/termin
Simple PHP script for notifying for a free appointments on the Berlin services website.
physikerwelt/texvcinfo
physikerwelt/texvcjs
A LaTeX validator/translator for TeX strings embedded in wikitext
physikerwelt/thunderdome