getScreenId | Capture Screen on Any Domain! This script is a hack used to support single chrome extension usage on any HTTPs domain.
published version 0.0.1, 8 years agoWebRTC JavaScript library for peer-to-peer applications (screen sharing, audio/video conferencing, file sharing, media streaming etc.)
published version 0.0.6, 8 years agoGlue code for Sprotty diagrams in a Theia IDE
published version 0.8.0, 6 years ago- published version 0.11.0-alpha.21acccb8, 4 years ago
- published version 0.11.0-alpha.21acccb8, 4 years ago
An API wrapper for Lambstatus.
published version 0.0.4, 5 years agoVSCode JSON RPC over WebSocket
published version 0.2.0, 5 years ago