DotArrow is the codename for "mobile code" in the context of a Pi-calculus to Scala translator
-
Updated
Jun 12, 2024 - Scala
A shell is a text-based terminal, used for manipulating programs and files. Shell scripts typically manage program execution.
DotArrow is the codename for "mobile code" in the context of a Pi-calculus to Scala translator
🍚 rice 🛠️ utils ⚙️ conf 🕹️ env
Custom Scripts - This is a mirror of - http://github.com/casjay-dotfiles/scripts
Custom Scripts - This is a mirror of - http://github.com/casjay-dotfiles/scripts
Custom Scripts - This is a mirror of - http://github.com/casjay-dotfiles/scripts
Custom Scripts - This is a mirror of - http://github.com/casjay-dotfiles/scripts
Custom Scripts - This is a mirror of - http://github.com/casjay-dotfiles/scripts
Custom Scripts - This is a mirror of - http://github.com/casjay-dotfiles/scripts
ALX | System Engineering and DevOps
Sensible developer defaults and automation hooks on MacOS/*nix—inspired by others but idiomatic to my particular development needs and habit. As autodidactic coder, I know I don't do things "by the book" and that's fine because most of my work is of a personal nature and not for enterprise. Results before elegance.
TangoMan Provisions is an awesome plain shell scripts collection to provision your machines.
A collection of git utilities, useful extra git scripts, tutorials and other useful articles.
So much config...
Set of scripts solving common problems.
[MIRROR] Some arbitrary shell scripts
A collection of ZSH frameworks, plugins, themes and tutorials. With repository stars⭐ and forks🍴
A comprehensive collection of utility scripts for various tasks, including git cleaning, SSH configuration, system maintenance, and more. These scripts are designed to streamline and automate routine processes, making your workflow more efficient and productive.
My literate configurations and resources for a variety of GNU/Linux programs, window managers, Wayland compositors, and text editors.
stank: analyzers for determining whether files smell like rotten POSIX shell scripts, or faintly rosy like Ruby and Python scripts