Open-source Developer Tools

Editors, terminals, API clients, git tools and everything for builders. 4 apps.

• 
  Refined Github🛠️Developer Tools

  Browser extension that simplifies the GitHub interface and adds useful features

  32kTypeScriptMITBrowser extension
  10.7y ago
• 
  Competitive Companion🛠️Developer Tools

  Browser extension which parses competitive programming problems

  1.3kTypeScriptMITBrowser extension
  8.8y ago
• 
  Find🛠️Developer Tools

  A find-in-page extension for Chrome and Firefox that supports regular expressions.

  488JavaScriptGPL-3.0Browser extension
  9.5y ago
• 
  Extension Cli🛠️Developer Tools

  Command line tool for building extensions/add-ons for chromium based browsers.

  186JavaScriptMITCLIBrowser extension
  6.8y ago