Pinned Loading

1. wikimedia/mediawiki-extensions-Wikibase wikimedia/mediawiki-extensions-Wikibase Public

   🌐 The knowledge base software that drives Wikidata.org. Mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/Wikibase. See https://www.mediawiki.org/wiki/Developer_access for contributing.

   PHP 128 57

2. verleihtool/verleihtool verleihtool/verleihtool Public

   Administration of depots and management of rental requests

   JavaScript 7 2

3. wikimedia/mediawiki-extensions-WikibaseMediaInfo wikimedia/mediawiki-extensions-WikibaseMediaInfo Public

   Github mirror of MediaWiki extension WikibaseMediaInfo - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)

   PHP 6 4

4. isabelle-prover/mirror-afp-devel isabelle-prover/mirror-afp-devel Public

   Git mirror of https://foss.heptapod.net/isa-afp/afp-devel

   Isabelle 5 3