Repositories list

• dopa-vm

  Public archive
  Virtual machine for testing provided by the the DOPA project. | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/dopa-vm

  Ruby

  •

  MIT License

  •33 forks•00 stars•22 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• puppet-cdh

  Public archive
  Puppet module for Hadoop and the rest of Cloudera's CDH 5. | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/puppet-cdh

  Puppet

  •

  MIT License

  •3636 forks•00 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• opal

  Public archive
  Opal - Optimized Applicative Language | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/opal

  C

  •

  Other

  •44 forks•1818 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• Mumie

  Public archive
  Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/Mumie

  Java

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• namespacediscovery-pipeline

  Public archive
  Mathematical namespace discovery | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/mathematicalnamespacediscovery

  Python

  •22 forks•00 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• mathjs

  Public archive
  An extensive math library for JavaScript and Node.js

  JavaScript

  •

  Apache License 2.0

  •1.3k1.3k forks•00 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• WikidataMath

  Public archive
  Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/WikidataMath

  PHP

  •00 forks•11 star•1313 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• screenshot-js

  Public archive
  Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/screenshot-js

  JavaScript

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• pmmlc

  Public archive
  https://git.tu-berlin.de/github-TU-Berlin/pmmlc

  HTML

  •

  Apache License 2.0

  •11 fork•00 stars•44 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• docker-texlive

  Public archive
  latex container for docker builds | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/docker-texlive

  Dockerfile

  •11 fork•00 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• stratosphere-testing

  Public archive
  Framework for testing/verifying the queries and programs written against the Stratosphere/Ozone APIs. | Moved to TU Berlin GitLab: https://git.tu-berlin.de/gith…

  Java

  •00 forks•00 stars•00 issues•11 pull request•Updated Dec 8, 2025Dec 8, 2025

• MathMLCan

  Public archive
  MathML Canonicalization | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/MathMLCan

  Java

  •1313 forks•00 stars•00 issues•22 pull requests•Updated Dec 8, 2025Dec 8, 2025

• RTED

  Public archive
  Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/RTED

  Java

  •

  GNU Affero General Public License v3.0

  •11 fork•33 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• mrunit-example

  Public archive
  A simple example of how to run MRUnit tests using Maven | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/mrunit-example

  Java

  •55 forks•00 stars•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• project-mlp

  Public archive
  a machine learning approach for processing mathematical language in scientific documents

  HTML

  •66 forks•00 stars•88 issues•66 pull requests•Updated Dec 8, 2025Dec 8, 2025

• stratosphere-sopremo

  Public archive
  Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/stratosphere-sopremo

  Java

  •1414 forks•00 stars•00 issues•55 pull requests•Updated Dec 8, 2025Dec 8, 2025

• stratosphere

  Public archive
  This is the source code repository of the Stratosphere project | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/stratosphere

  Java

  •8484 forks•00 stars•00 issues•66 pull requests•Updated Dec 8, 2025Dec 8, 2025

• Giveme5W1H

  Public archive
  Extraction of the journalistic five W and one H questions (5W1H) from news articles: who did what, when, where, why, and how? | https://git.tu-berlin.de/github-…

  HTML

  •

  Apache License 2.0

  •8686 forks•00 stars•00 issues•55 pull requests•Updated Dec 8, 2025Dec 8, 2025

• mathosphere-integration-test

  Public archive
  Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/mathosphere-integration-test

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•11 pull request•Updated Dec 8, 2025Dec 8, 2025

• dopa-scheduler

  Public archive
  Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/dopa-scheduler

  Java

  •33 forks•00 stars•11 issue•11 pull request•Updated Dec 8, 2025Dec 8, 2025

• dopa-packages

  Public archive
  Java

  •44 forks•00 stars•22 issues•22 pull requests•Updated Dec 8, 2025Dec 8, 2025

• fse-ntcir11-wmc-basex

  Public archive
  Code used for the BaseX run of the FSE team at the NTCIR-11 Math Wikipedia Subtask | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/rseq

  Java

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•11 pull request•Updated Dec 8, 2025Dec 8, 2025

• rseq

  Public archive
  Sequence pattern matching library

  Java

  •22 forks•00 stars•00 issues•11 pull request•Updated Dec 8, 2025Dec 8, 2025

• ntcir-wmc-texvccheck

  Public
  Evaluation of the NTCIR-11 WMC texvc input

  00 forks•00 stars•11 issue•00 pull requests•Updated Jan 3, 2015Jan 3, 2015

• dopa-binaries

  Public
  Binaries for the DOPA-VM

  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 14, 2014Jan 14, 2014

• operations-puppet-cdh4

  Public
  Github mirror of "operations/puppet/cdh4" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing

  Puppet

  •

  MIT License

  •55 forks•00 stars•00 issues•11 pull request•Updated Dec 5, 2013Dec 5, 2013

• ozone-testing

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 10, 2013Oct 10, 2013

• aursir4scala

  Public
  A Scala Framework for AurSir

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 11, 2013Sep 11, 2013

• operations-puppet-zookeeper

  Public
  Github mirror of "operations/puppet/zookeeper" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contribut…

  Puppet

  •1111 forks•00 stars•00 issues•00 pull requests•Updated Aug 23, 2013Aug 23, 2013