Pinned

1. wikimedia/mediawiki Public

   🌻 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.

   PHP 3.2k 1.2k

2. python-iptools Public

   A few useful functions and objects for manipulating ip addresses in python.

   Python 68 17

3. wikimedia/composer-merge-plugin Public

   Merge one or more additional composer.json files at Composer runtime

   PHP 845 147

4. php/pecl-file_formats-yaml Public

   YAML-1.1 parser and emitter

   C 64 29

5. wikimedia/mediawiki-vagrant Public

   A virtual MediaWiki development environment, built on Vagrant, VirtualBox, and Puppet. This is a mirror from https://gerrit.wikimedia.org.

   Ruby 65 38

6. python-ib3 Public

   IRC bot framework using mixins to provide commonly desired functionality

   Python 9 2