terokarvinen / micro-runLinks
F5 to save & run, F12 to make, F9 make in background. Plugin for Micro editor
☆16Updated last year
Alternatives and similar repositories for micro-run
Users that are interested in micro-run are comparing it to the libraries listed below
Sorting:
- Jump to any function, class or heading with F4. Go, Markdown, Python, C... (+40 others). A plugin for micro editor.☆40Updated last year
- Command palette - Ctrl-P to fuzzy search & run commands, textfilters and descriptions - Micro editor plugin☆26Updated last year
- Language Server Protocol plugin for micro-editor☆30Updated 2 weeks ago
- plugin for micro-editor. implements smart home and bracket bounce☆10Updated 5 months ago
- terminal color scheme chooser☆17Updated last month
- A plugin for manipulating text (UPPER, lower, base64, etc) in the editor "Micro"☆51Updated 2 years ago
- A list of colorschemes for the intuitive micro editor☆21Updated 8 years ago
- Simple tool to automatically download, convert, and install DEB packages on Void Linux via the awesome xdeb tool.☆15Updated last year
- Google from the terminal☆38Updated 3 years ago
- A pager program like less☆27Updated 2 years ago
- Goffi's cp, a fancy file copier☆15Updated 6 years ago
- simple way to change colors☆19Updated 5 years ago
- translate a text with deepl☆17Updated last year
- The home of TerminalCtrl, an easy to use yet powerful cross-platform terminal emulator widget and library written for U++ (C++)☆21Updated last week
- TUI for downloading Youtube videos☆31Updated last year
- An alternative to Tdrop for a dropdown terminal - written in Rust☆13Updated 2 years ago
- Source of settings for Bash Line Editor https://github.com/akinomyoga/ble.sh (for ble-0.4+)☆59Updated 2 months ago
- Only TUI utility hub you'll need☆20Updated 2 years ago
- Plugin for micro editor for make and jump to errors operations☆17Updated 3 years ago
- Plugin for micro editor to provide quote-selection support☆22Updated last year
- ⚙️ The Rapid Application Development textual user interface library for Zsh.☆27Updated last year
- ⏯️ Code runner CLI that can run any languages☆24Updated 3 years ago
- Creative ASCII Drawing Utility By Ian (1997)☆52Updated 3 months ago
- Tool for creating simple menu in linux environments☆32Updated last year
- An oh-my-zsh plugin to create, and manage simple text cheatsheets☆14Updated 6 years ago
- ☆30Updated 2 years ago
- The easiest way to make a glibc executable portable on Linux☆39Updated 10 months ago
- Libwaveform aims to provide efficient, versatile and easy-to-use interactive display of audio waveforms for Gtk+-2 and X11 applications.☆25Updated this week
- 🐧 OS/Distro's logo ANSI art☆20Updated 2 years ago
- a static toolchain targeting x86_64-linux-musl☆13Updated 7 months ago