Tools
assure-action
symbolia-assurance/assure-action
Assure is a GitHub Action that checks every pull request against plain-English rules, runs formal verification, and annotates the exact lines that break them.
Related projects
yt-dlp205.7kA feature-rich command-line downloader for grabbing audio and video from thousands of websites.
Microsoft-Activation-Scripts198.3kOpen-source activation scripts for Windows and Office offering HWID, Ohook, TSforge, and online KMS methods plus troubleshooting guidance.
markitdown194.2kA lightweight Python utility that converts PDFs and Office docs to clean Markdown for LLMs.
ohmyzsh190.5kOh My Zsh is a community-driven framework for managing zsh configuration. It bundles hundreds of plugins and themes, along with an auto-update tool, to make the terminal more productive and pleasant.
clash-verge-rev157.4kA Tauri-based Clash Meta GUI client with the mihomo core, subscription management, TUN mode, and visual proxy and rule editing.- PowerToys140.6kMicrosoft's collection of Windows productivity utilities, including FancyZones, PowerRename, Command Palette, Color Picker, and more than 30 tools.