All repos — GH Trending Explorer

Shell-based CLI (mo) that cleans caches, uninstalls apps with leftovers, analyzes disk usage, and monitors system stats on macOS and Windows.

cli macos windows

PowerShell script that removes preinstalled Windows apps, disables telemetry, and applies other tweaks on Windows 10 and 11.

windows cli privacy

Android and desktop YouTube Music client with an Apple Music-inspired interface, lyrics, offline downloads, and scrobbling.

audio desktop-app mobile

Windows desktop app that removes bloatware and applies registry-based privacy, performance, and customization tweaks to Windows 10 and 11.

desktop-app privacy windows

Desktop disk cleaner and space analyzer for macOS, Windows, and Linux with duplicate, large-file, uninstall, and startup management.

desktop-app macos windows

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

ontology knowledge-graph formal-verification

Worktrunk is a Rust CLI that makes git worktree creation, switching, and cleanup as simple as working with branches.

cli developer-tools git-tooling

Free, open-source macOS cleaner covering cache, Xcode, Homebrew, app uninstalling, and storage exploration, with no telemetry or subscription.

macos desktop-app privacy

An Xposed/LSPosed module for Instagram that adds privacy controls, media downloads, feed cleanup, and theming via an in-app menu.

android privacy social

Open-source macOS cleaner, optimizer, and malware scanner built with Swift 6 and SwiftUI as a free alternative to CleanMyMac.

macos desktop-app security

TypeScript is a typed superset of JavaScript that compiles to plain, readable JavaScript.

programming-language compiler developer-tools

Native Android TV IPTV player supporting Xtream, M3U and Stalker/Ministra sources, with EPG and catch-up TV.

mobile video desktop-app

Verification toolchain that translates Rust programs (via Charon's LLBC) into pure lambda calculus for proof in F*, Coq, HOL4, or Lean.

formal-verification compiler rust-lang

Native SwiftUI iOS app for browsing app data, installing patches, dialer themes, and PosterBoard wallpapers from sources.

ios mobile file-manager

Linux virtual machine that runs entirely in the browser via WebAssembly, hosting the source for webvm.io.

emulator webassembly terminal

A Svelte webnovel reader hosting unofficial fan translations of Lord of the Mysteries, with offline caching and EPUB downloads.

web-framework books self-hosted