- New York, NY
Block or Report
Block or report mavant
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage: Shell
Sort by: Most stars
Starred repositories
Papers from the computer science community to read and discuss.
🖥 📊 🕹 🛠 A curated list of command line apps
kaldi-asr/kaldi is the official location of the Kaldi project.
📝 A curated list of awesome Raspberry Pi tools, projects, images and resources
Persists tmux environment across system restarts.
🎬 A curated list of movies every hacker & cyberpunk must watch.
Configurable automation + hooks called with application information
✅ checks presence of various command line tools and their versions on the path
This Raspberry Pi distribution for managing Klipper 3D printers with Mainsail provides all you need.
FluiddPi - A Pi image with Klipper, Moonraker, Fluidd and Web Camera support pre-installed.
Klipper backup script for manual or automated GitHub backups. Lightweight, pragmatic and comfortable.
An OCaml cross-toolchain for Android and several useful libraries
Bash Color Prompt w/ 216 colors, Git Dashboard, Sysload, Date/Time. Simple dotfile config. Pure Bash. Fast. Modular theme framework. also: 216-color echo command and library.
Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.
SSHFS Manager is a bash script for managing SSHFS connections.
upkg - Universal package manager - same command line for all - Package manager wrapper from rosetta stone : Arch, Red Hat/Fedora, Debian/Ubuntu, SLES/openSUSE, Gentoo/calculate, Solus, Slitaz, Void…
Per user SSHFS automount using user's SSH configuration
Why3-do: a WhyML library for state machine specifications and distributed systems