terokarvinen / micro-runLinks
F5 to save & run, F12 to make, F9 make in background. Plugin for Micro editor
☆15Updated 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.☆39Updated last year
- Command palette - Ctrl-P to fuzzy search & run commands, textfilters and descriptions - Micro editor plugin☆24Updated last year
- Language Server Protocol plugin for micro-editor☆27Updated last month
- Simple tool to automatically download, convert, and install DEB packages on Void Linux via the awesome xdeb tool.☆14Updated last year
- terminal color scheme chooser☆18Updated 3 weeks ago
- plugin for micro-editor. implements smart home and bracket bounce☆10Updated 3 months ago
- A plugin for manipulating text (UPPER, lower, base64, etc) in the editor "Micro"☆49Updated last year
- Pentract GRUB Theme☆20Updated 3 years ago
- qp - Query Packages. Query installed packages across ecosystems on Linux and macOS.☆20Updated last month
- A lightweight terminal-based read-only browser☆23Updated 3 months ago
- translate a text with deepl☆16Updated last year
- simple way to change colors☆19Updated 5 years ago
- Source of settings for Bash Line Editor https://github.com/akinomyoga/ble.sh (for ble-0.4+)☆55Updated 2 months ago
- ☆30Updated 2 years ago
- Creative ASCII Drawing Utility By Ian (1997)☆50Updated last month
- A pager program like less☆27Updated 2 years ago
- Goffi's cp, a fancy file copier☆15Updated 6 years ago
- 🌵 Very quick shell prompt that supports multiple shells.☆15Updated 2 months ago
- A widget for the Awesome Window Manager to monitor the network with Connman☆18Updated 5 years ago
- An alternative to Tdrop for a dropdown terminal - written in Rust☆14Updated last year
- Plugin for micro editor to provide quote-selection support☆21Updated last year
- fzf shell scripts for alsa, cpupower, git, iwd, find, w3m, images, pictures, bulk, rename, wifi, wlan, man, mount, pacman, paru, ssh, tra…☆12Updated last week
- ⏯️ Code runner CLI that can run any languages☆24Updated 3 years ago
- TUI for downloading Youtube videos☆26Updated 9 months ago
- The easiest way to make a glibc executable portable on Linux☆38Updated 8 months ago
- 🐧 OS/Distro's logo ANSI art☆20Updated 2 years ago
- A file manager for the terminal, powered by FZF☆19Updated 3 years ago
- A list of colorschemes for the intuitive micro editor☆18Updated 8 years ago
- a modern and beautiful alternative to xxd and hexdump.☆48Updated 6 months ago
- Display retro / legacy ANSI art directly in your terminal☆19Updated 4 years ago