Portable command-line YAML processor
AI-driven neuro-symbolic solver for high-school geometry problems
This is a multi-use bash script for Linux systems
A curation of prompts, plugins & other Fish treasures
Windows Explorer Extension to Operate Git
Twitter Unicode 13.1 emoji color OpenType-SVG font
Bring your favorite shell wherever you go through the ssh
Unclutter your .profile
Powerful and classic PHP web shell
Automatically Commit changed Files back to GitHub
An efficient way to access various statistics in git repository
A remote monitoring & management tool, built with Django, Vue and Go
A beautiful personal server OS for Raspberry Pi or any Linux distro
Your entire server infrastructure at your fingertips
Free and open-source modern Chinese typeface
A plugin manager for Fish
This repository allows to deploy an IBM Operational Decision Manager
GitHub Action for license compliance: Python, JavaScript, iOS, Android
Security automation content in SCAP, Bash, Ansible, and other formats
Watch a file or folder and automatically commit changes to a git repo
Fairly full featured Ansible role for Postgresql
Multiparty web-meetings using mediasoup and WebRTC
A build system and primary set of packages for Termux
Brew PHP switcher is a simple shell script to switch versions of PHP