GitHub repository: runtimeverification/remix-ide
Primary language: JavaScript
Description: Browser-Only Solidity IDE and Runtime Environment