Awesome GitHub RepositoriesShell Interface Setup

GitLens is a Git extension for VS Code that brings inline blame annotations, CodeLens authorship information, and an interactive commit graph directly into the editor. It provides a visual timeline of repository history with color-coded branch relationships, search, and filtering, alongside file-level annotations that show who last changed each line and why. The extension also functions as a cross-provider pull request manager, integrating with GitHub, GitLab, Bitbucket, and Azure DevOps to centralize PR and issue tracking within the IDE. What distinguishes GitLens is its AI-powered Git assis

This project is a shell configuration manager and Unix environment automator designed to organize shell settings and environment variables. It functions as a symlink-based dotfile deployer that maps versioned configuration files to the home directory to maintain a consistent system environment across different machines. The system employs a topic-based configuration loading model, grouping shell settings and environment scripts into discrete directories that load sequentially into the active shell. It further automates the setup of the command line interface by managing system paths and ensur

Specs is a centralized package metadata repository and distribution service for the Apple platform. It serves as a public index of library specifications, enabling the discovery, resolution, and installation of third-party frameworks for iOS and macOS projects. The project provides a podspec distribution service that hosts and validates library specifications to ensure reproducible dependency resolution. It utilizes a Git-based collection of structured specifications and a REST API to manage library publishing, ownership, and versioning. The system encompasses comprehensive capabilities for

Pinokio is a specialized toolset for discovering, launching, and managing verified open-source AI projects. It functions as an automated browser and orchestrator that downloads, configures, and runs complex machine learning projects through a simplified graphical interface. The system utilizes a curated application launcher that executes reviewed and frozen scripts to ensure software integrity and stability. It manages dependencies through a script-based environment manager that organizes software into isolated local directories to prevent conflicts with the global system environment. The pl

OnlineJudge is an automated platform for managing programming contests and evaluating submitted source code. It provides a complete online judge system that compiles, runs, and scores code submissions against predefined test cases within a sandboxed execution environment, ensuring the host system remains protected from untrusted user code. The platform supports both ACM-style penalty-based scoring and OI-style point-based scoring, with real-time leaderboard computation that dynamically updates participant rankings as submissions are judged. Contest organizers can create and schedule timed com

KeepingYouAwake is a macOS menu bar utility that prevents a Mac from automatically entering sleep mode. It offers both manual and timed control, allowing users to keep their system awake with a single click from the menu bar or for a user-defined duration that automatically reverts upon expiry. The utility distinguishes itself through battery-aware operation, automatically disabling sleep prevention when the battery level drops below a configurable threshold to conserve power. This combines with a lightweight menu bar interface that provides instant activation and deactivation of sleep preven

Open Deep Research is an AI-powered web research agent that combines a reasoning model with live web search and data extraction to perform deep, multi-source investigations on any topic. It operates through a dual interface, offering both a command-line tool and a Model Context Protocol server, allowing developers to integrate web capabilities directly into AI agents and coding assistants. The project distinguishes itself by orchestrating an iterative research loop where a reasoning model plans steps, interprets search results, and guides subsequent web interactions. It uses Firecrawl for scr

Actual Budget is an open-source personal finance application that stores all financial data locally on the user's device using a SQLite database, enabling offline access and complete data ownership without cloud dependency. It packages the entire application stack into Docker containers for one-click deployment on any hosting platform with container support, and connects to over 10,000 financial institutions through the Plaid API to automatically sync account balances, transactions, and investment data. The application implements a monthly budget model that tracks spending against category li

Coq est un prouveur de théorèmes interactif et un assistant de preuve utilisé pour la vérification mathématique formelle et le développement de logiciels vérifiés. Il utilise le langage fonctionnel Gallina pour définir des fonctions calculables et des propositions logiques, qui sont ensuite vérifiées via un noyau vérifié par machine. Le système emploie un système de types dépendants et un moteur de preuve de style Caldicott pour automatiser la recherche de preuve et l'exécution de tactiques. Ces capacités permettent la création de spécifications formelles et le développement d'algorithmes mathématiquement prouvés pour répondre à des exigences spécifiques. L'ensemble d'outils inclut la prise en charge des définitions de types inductifs, de la récursion bien fondée et de diverses représentations de nombres réels. Il fournit un système de traduction pour exporter des spécifications formelles en code source exécutable pour des langages de programmation externes et prend en charge la compilation en code natif pour accélérer le calcul. L'environnement s'intègre aux éditeurs de code et aux IDE, offrant une configuration d'environnement automatisée et une gestion de paquets externe pour des bibliothèques supplémentaires.

ROS 2 is a distributed communication middleware for robot systems, built on a peer-to-peer Data Distribution Service (DDS) foundation. It provides a publish-subscribe messaging layer where typed data flows between decoupled components across a network, along with synchronous remote procedure calls and action-based task execution for long-running goals with periodic feedback. The framework includes an interface definition language that generates type-safe code for messages, services, and actions, ensuring cross-language compatibility, and supports fine-grained Quality of Service profiles that c

x-cmd is an AI agent orchestrator, cloud infrastructure CLI, and cross-platform package manager that provides an enhanced POSIX shell toolkit. It integrates large language models directly into the terminal for chatting, code generation, and the execution of agentic workflows, while offering a framework for building interactive terminal user interface components. The project distinguishes itself by deploying containerized AI agents within isolated sandboxes, provisioning them with specialized skills and headless browser automation capabilities. It further streamlines development through a unif

Lux is a blockchain infrastructure project providing a distributed ledger and a smart contract platform. It utilizes a hybrid proof-of-work and proof-of-stake consensus mechanism to secure decentralized transactions and maintain network stability. The project features a peer-to-peer ecosystem that includes a decentralized file storage system for immutable data, a masternode network for governance, and a cross-chain asset bridge. It distinguishes itself with an ASIC-resistant hashing algorithm optimized for general-purpose CPUs and a decentralized order book for matching trades without a centr

Flox is a Nix environment manager designed to create, share, and maintain reproducible software stacks. It uses declarative manifests to isolate project dependencies and toolchains, ensuring identical runtimes across different machines and operating systems. The platform distinguishes itself by enabling the deployment of imageless workloads to Kubernetes, allowing software to run in pods without traditional container images. It can also synthesize OCI-compliant container images and distroless artifacts directly from declarative environment definitions. The project covers broad capability are

Moon is a monorepo build system and task runner designed to orchestrate complex projects with multiple packages. It functions as a dependency graph orchestrator that executes build targets in topological order and utilizes input hashing to cache results and skip redundant work. The project features a polyglot toolchain manager that automates the installation and versioning of language runtimes and CLI tools to ensure environment consistency. It also includes a plugin framework based on WebAssembly, allowing developers to extend build logic and toolchain behavior using any supported language.