Skip to content
Change the repository type filter

All

    Repositories list

    • texvcjs

      Public
      A LaTeX validator/translator for TeX strings embedded in wikitext
      JavaScript
      9092Updated May 20, 2020May 20, 2020
    • LaTeXML

      Public
      LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
      Perl
      Other
      100000Updated Nov 7, 2019Nov 7, 2019
    • bash script to backup your databases
      Shell
      7000Updated May 15, 2018May 15, 2018
    • Python
      11191Updated Jul 11, 2017Jul 11, 2017
    • puppet module to install a DRFM instance
      Puppet
      2050Updated Apr 5, 2017Apr 5, 2017
    • DRMF

      Public
      Documentation and extensions for the DRMF MediaWiki deployment
      TeX
      24270Updated Mar 27, 2017Mar 27, 2017
    • Matheaware Q&A system
      Python
      5000Updated Nov 28, 2016Nov 28, 2016
    • texer

      Public
      Replaces macros in .tex files
      JavaScript
      10131Updated Oct 14, 2016Oct 14, 2016
    • Tools and experiments in the OCR of the Bateman Manuscripts
      Java
      ISC License
      5000Updated Jul 20, 2016Jul 20, 2016
    • This is PHP code to convert m's to M's and also M's to m's.
      PHP
      0000Updated Jul 8, 2015Jul 8, 2015
    • Python
      0010Updated Apr 16, 2015Apr 16, 2015
    • Python
      0000Updated Apr 14, 2015Apr 14, 2015
    • Series expansion for LaTeXML
      XSLT
      The Unlicense
      0000Updated Mar 31, 2015Mar 31, 2015
    • LaTeXML post-processing target for the DOC and ODT formats
      XSLT
      The Unlicense
      4000Updated Oct 10, 2014Oct 10, 2014
    • Math-old

      Public
      Github mirror of MediaWiki extension Math - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
      PHP
      21010Updated Mar 29, 2014Mar 29, 2014
    • A dynamic menu for interactive services on math formulas, based on the JOBAD framework
      JavaScript
      The Unlicense
      2101Updated Dec 4, 2013Dec 4, 2013
    • JOBAD Modules repository
      JavaScript
      GNU General Public License v3.0
      3000Updated Sep 14, 2013Sep 14, 2013
    • MediaWiki page templates for the DRMF project
      PHP
      The Unlicense
      0010Updated Aug 29, 2013Aug 29, 2013