F5 to save & run, F12 to make, F9 make in background. Plugin for Micro editor
☆18Apr 19, 2024Updated last year
Alternatives and similar repositories for micro-run
Users that are interested in micro-run are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Jump to any function, class or heading with F4. Go, Markdown, Python, C... (+40 others). A plugin for micro editor.☆41Mar 28, 2024Updated last year
- Plugin for Micro editor to automatically detect indentation settings☆13Sep 7, 2024Updated last year
- Command palette - Ctrl-P to fuzzy search & run commands, textfilters and descriptions - Micro editor plugin☆27Mar 28, 2024Updated last year
- plugin for micro-editor. implements smart home and bracket bounce☆11Jul 1, 2025Updated 8 months ago
- Hangout extension for WakaTime☆11Feb 6, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A plugin for manipulating text (UPPER, lower, base64, etc) in the editor "Micro"☆51Oct 29, 2023Updated 2 years ago
- Plugin for micro editor to provide quote-selection support☆22Mar 28, 2024Updated last year
- Micro replacement for Serde that compiles much faster but keeps a lot of its functionality☆13Aug 31, 2020Updated 5 years ago
- A collection of SuperCollider extensions. MOVED HERE: https://codeberg.org/madskjeldgaard/Monolithic☆18Nov 18, 2025Updated 4 months ago
- Figma plugin for automatic time tracking and metrics generated from your Figma usage.☆12Dec 19, 2024Updated last year
- Unofficial RStudio (IDE for R) WakaTime (https://wakatime.com) plugin.☆15Feb 3, 2023Updated 3 years ago
- The plugin allows you to integrate fzf to select and search for your project files.☆16Oct 20, 2024Updated last year
- C64 PETSCII movie maker☆15Jan 26, 2025Updated last year
- Multi-language autoformatter for Micro☆26Mar 7, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- See your WakaTime report directly in the terminal☆20Jan 23, 2015Updated 11 years ago
- ☆19May 26, 2025Updated 10 months ago
- supercollider editor with help browser and post window☆22Aug 4, 2021Updated 4 years ago
- Various tools for EBNF grammars☆11Feb 6, 2023Updated 3 years ago
- Language Server Protocol plugin for micro-editor☆32Dec 7, 2025Updated 3 months ago
- Joplin plugin for creating inline spoilers and spoiler blocks.☆30May 1, 2024Updated last year
- A zero-latency safety limiter for SuperCollider☆26Aug 24, 2022Updated 3 years ago
- Everything you see on my tutorials is here in this repo☆10Jun 19, 2017Updated 8 years ago
- Poetic static site generator for Node.js.☆82Jun 19, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GuiTools - A graphic UI framework for QB64☆10Aug 19, 2025Updated 7 months ago
- 💖 Create Custom Nerd Fonts, IOSEVKA Custom NF. Nerd font patcher script. Custom Font TTF.☆13Feb 21, 2026Updated last month
- A Polybar module to show unread notifications from GitHub☆10Mar 28, 2021Updated 4 years ago
- Proper search display for statuslines and cmdheight=0 in Neovim☆12Jan 12, 2023Updated 3 years ago
- 3d waterfall-plot in your browser - using WebGL☆33May 28, 2022Updated 3 years ago
- terminal color scheme chooser☆17Feb 23, 2026Updated last month
- Image Editor reference app for Office 365 platform☆18Oct 6, 2023Updated 2 years ago
- Experimental PoC baremetal V programming for MCUs☆13Jun 14, 2022Updated 3 years ago
- A rsync backup script☆13Aug 16, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Dec 19, 2016Updated 9 years ago
- An unofficial style guide for Vim scripts☆11Sep 4, 2018Updated 7 years ago
- Themes compiler for Flow Control, the text editor☆12Jan 20, 2026Updated 2 months ago
- ❄️ Dotfiles for our Nix system configuration.☆22Updated this week
- go library for the dropbox API☆21Nov 12, 2013Updated 12 years ago
- A monochrome (ish) neovim colour theme☆11Nov 3, 2025Updated 4 months ago
- Vim python filetype plugin.☆13May 23, 2013Updated 12 years ago