Alternatives and similar repositories for proveit:

Users that are interested in proveit are comparing it to the libraries listed below

• wikisource / ia-upload
  Tool to import files from the Internet Archive to Wikimedia Commons.
  ☆16Updated 2 months ago
• mihaip / gmail-greasemonkey
  Gmail Greasemonkey Scripts
  ☆32Updated 10 years ago
• huggle / huggle
  DEPRECATED - Huggle original repo - Huggle is an anti-vandalism tool for use on Wikipedia and other Wikimedia projects.
  ☆22Updated 8 years ago
• westand / STiki
  The STiki anti-damage tool for wikis/Wikipedia
  ☆22Updated 6 years ago
• wikimedia / mediawiki-extensions-ConfirmEdit
  Github mirror of MediaWiki extension ConfirmEdit - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…
  ☆16Updated this week
• enwikipedia-acc / waca
  English Wikipedia Account Creation Interface
  ☆33Updated this week
• emijrp / wikiradio
  A radio for Wikimedia Commons audio files
  ☆14Updated 4 years ago
• reddit / error-pages
  the bummer mobile
  ☆33Updated last year
• prtksxna / persistent-toc
  A gadget to add persistent table of contents on Wikipeida articles
  ☆11Updated 2 years ago
• MusikAnimal / MusikBot
  An Apache helicopter that helps keep the Wikimedia projects tidy
  ☆14Updated last month
• WikiApiary / WikiApiary
  Celery-based task workers for collecting and updating data on WikiApiary.
  ☆31Updated 9 years ago
• arantius / uppity
  A tool to navigate "up" on the web.
  ☆14Updated 6 years ago
• whym / whois-gateway
  Web-based whois gateway written in Python for lighttpd
  ☆26Updated last month
• mozilla / nightlytt
  Nightly Tester Tools
  ☆61Updated last year
• x-tools / xtools-legacy
  Repository for the legacy XTools. See https://github.com/x-tools/xtools for the rewrite
  ☆42Updated 7 years ago
• FlominatorTM / wikiblame
  ☆63Updated this week
• earwig / copyvios
  A copyright violation detector running on Wikimedia Cloud Services
  ☆37Updated 2 weeks ago
• CurbSafeCharmer / refill
  Wikipedia tool that expands bare references
  ☆51Updated last month
• Pathoschild / Wikimedia-contrib
  A collection of user scripts and Tool Labs tools intended for users of Wikimedia Foundation wikis.
  ☆45Updated last week
• mozilla / release-blog
  Blog posts by release management both automated and human
  ☆28Updated 2 months ago
• LouCypher / AM_contextmenu
  Add more items to Mozilla Add-on Manager context menu.
  ☆13Updated 8 years ago
• bobbyrne01 / tab-data-firefox
  Firefox addon provides user with tab related stats and memory usage
  ☆46Updated last year
• stylish-userstyles / userstyles
  An online repository of user styles.
  ☆62Updated 8 years ago
• duckduckgo / duckduckgo-template-helpers
  Template helpers used by DuckDuckGo
  ☆15Updated last year
• mozilla / webext-compat-tool
  A compatibility-focused web instance of mozilla/addons-linter
  ☆13Updated 6 months ago
• duckduckgo / duckduckgo-answerbar-templates
  Templates used in DuckDuckGo's Instant Answers
  ☆20Updated 5 years ago
• benapetr / wikimedia-bot
  IRC bot that is being used on number of wikimedia channels
  ☆36Updated last year
• machawk1 / Mink
  Chrome extension that uses Memento to indicate that a page a user is viewing on the live web has an archived copy and to give the user ac…
  ☆50Updated 3 months ago
• pravins / liberation-fonts
  The Liberation(tm) Fonts is a font family which aims at metric compatibility with Arial, Times New Roman, and Courier New.
  ☆14Updated 8 years ago