MisterTea / CodeFSLinks
Meta-Filesystem for remote software development
☆22Updated 5 years ago
Alternatives and similar repositories for CodeFS
Users that are interested in CodeFS are comparing it to the libraries listed below
Sorting:
- Sublime Text plugin that automatically supports your working memory.☆14Updated 6 years ago
- WebExtension API to execute external commands through native messaging☆17Updated last year
- A directory history management utility written in C☆25Updated 3 years ago
- What if cron and systemd had a baby?☆56Updated 4 months ago
- Tool for cleaning old and redundant backups☆13Updated this week
- Write and document your jq/shell scripts with markdown☆46Updated 4 years ago
- Bridge the terminal and browser☆18Updated 2 years ago
- xonsh extension for using direnv☆31Updated 11 months ago
- An archiving HTTP proxy and on-disk archival format for websites.☆35Updated 2 years ago
- Code to reproduce the Hacker News users fingerprinting with Burrows method☆54Updated 5 months ago
- ☆14Updated 8 years ago
- Run your tty programs pseudo-headlessly under a process supervisor☆14Updated 7 years ago
- dtach-like program / crate in rust☆34Updated last year
- Python data explorer.☆12Updated 10 months ago
- My operating systems, using Darch.☆73Updated 3 years ago
- read key sequence and convert shell output into animation gif directly (internally emulate almost vt102 compatible terminal)☆31Updated 7 years ago
- Bringing the power of python to stream editing☆50Updated 10 months ago
- Shell Of A New Machine: Quickly configure new environments☆41Updated 2 years ago
- z3-powered solver (theorem prover) for deal☆12Updated 2 years ago
- Atomic tee☆36Updated last year
- Library of the useful macros for the @xonsh shell.☆20Updated last year
- the bash templating language☆53Updated last year
- A Plan 9-inspired way to share your OS X clipboard to multiple hosts.☆15Updated 4 years ago
- A centralised store for your personal SSH keys☆61Updated 2 years ago
- a new kind of terminal☆41Updated last year
- ☆40Updated last year
- ☆10Updated 3 years ago
- Python implementation of the Varlink protocol☆57Updated this week
- Offline voice-controlled music player for Raspberry Pi☆10Updated last year
- Bridge between git and restic.☆47Updated 6 months ago