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 2.8k 1.1k

2. python-iptools Public

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

   Python 65 17

3. wikimedia/composer-merge-plugin Public

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

   PHP 778 128

4. php/pecl-file_formats-yaml Public

   YAML-1.1 parser and emitter

   C 58 26

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 61 37

6. python-ib3 Public

   IRC bot framework using mixins to provide commonly desired functionality

   Python 9 1