0 repos
Browser extensions and scripts that modify or augment existing web-based development platforms to improve usability.
Distinguishing note: Targets the augmentation of third-party web interfaces rather than general-purpose IDE plugins.
No awesome GitHub repositories for development tools & productivity · Interface Enhancements yet. Submit a GitHub URL or browse the filters below.
No repositories listed yet — be the first to submit one.