A self-hosted, offline, ChatGPT-like chatbot. Powered by Llama 2. 100% private, with no data leaving your device. New: Code Llama support!
A web interface for chatting with Alpaca through llama.cpp. Fully dockerized, with an easy to use API.
Make M3U format playlist from command line
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
A fast, minimalistic backend framework for Dart 🎯
ScriptCat, a browser extension that can execute userscript; 脚本猫，一个可以执行用户脚本的浏览器扩展
Just like TextEdit on Mac but dedicated to Markdown.
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.
THIS IS NOT THE MAIN REPO!!!! Cruise is a powerful, intuitive, and fully-featured TUI (Terminal User Interface) for managing containers. Built with Go and Bubbletea, it offers a visually rich, keyboard-first experience for managing containers, images, volumes, networks, logs and more — all from your terminal.
Stremio Addon with a bunch of features to manage lists from MDBList and Trakt
Wife approved HomeOps driven by Kubernetes and GitOps using Flux
📮 Untangle your GitHub Notifications
openvpn-auth-oauth2 is a plugin/management interface client for OpenVPN server to handle an OIDC based single sign-on (SSO) auth flows
Self-hostable clone of lazydocker for the web. Manage your Docker fleet with ease
Launcher-driven Wi-Fi manager for Linux
Launcher-driven Bluetooth manager for Linux
Homebridge plugin that creates a security system accessory that can be triggered by HomeKit sensors