Trending Projects

TLC is a model checker for specifications written in TLA+, a formal specification language.

BizHawk is a multi-system emulator written in C# with features for casual gamers and speedrunning tools.

GitHub repository of a collection of tools and resources for developers to be more productive and have fun.

An extensible UI for Neovim notifications and LSP progress messages, empowering vibe coders in their AI-powered development workflows.

A tool to check the number of CEF instances on your computer, built with Electron.

A Vim plugin that provides a visual code editor with a stage-like experience for developers.

A time traveling resource monitor for modern Linux systems, built with Rust.

The official PowerShell documentation sources for developers working with PowerShell.

A Python-based GitHub discovery tool to help find high-quality English projects and avoid language noise.

A simple UI for the vim-dadbod plugin, a database interface for Vim and Neovim

Marp for VS Code: Create slide decks written in Marp Markdown directly within Visual Studio Code.

A feature-rich terminal-based text viewer and pager written in Go for command-line developers.

A decompilation project for the popular video game The Legend of Zelda: Breath of the Wild for the Nintendo Switch.

A personal key-value store with a simple, intuitive API for storing and retrieving data.

A minimal, developer-friendly pretty-printer and debug dumper for Go structs.

A time tracking tool that helps developers visualize and optimize their coding workflow.

A Rust-based tool to generate GIFs from asciinema recordings for sharing terminal sessions.

Dropbar.nvim provides IDE-like breadcrumbs and winbar for Neovim, powered by LSP and Treesitter.

A GPU-accelerated screen locking utility for the Hyprland window manager.

Cubic is a custom Ubuntu ISO creator tool that allows developers to easily build and customize their own Ubuntu-based distributions.

A flexible, powerful GUI system for creating and managing shaders in Unity.

A language server for the Nix programming language, built on top of Nix libraries.

An interactive REPL over Neovim, allowing developers to explore and test Lua code in their Neovim environment.

A hardware-aware guide to data structures for system software engineers.

An ASCII/text art-based CLI app that blends clock, timer, and productivity features for developers

A C++ library that provides DirectDraw and Direct3D 1-7 compatibility, performance, and visual enhancements for Windows.

An interactive binary patching plugin for IDA Pro, a popular reverse engineering tool.

Efficient access to large archives (TAR, RAR, ZIP, GZ, BZ2, XZ, ZSTD) as a filesystem for Python developers.

A TypeScript command line framework for Deno with features like CLI interfaces, prompts, tables, and argument parsing.

A simple script to block keyboard input while eating instant noodles on a laptop keyboard.

A Rust cargo plugin that injects bugs into your code to test your mutation testing abilities.

Streamlined input shaper workflow and calibration tools for the Klipper 3D printer firmware.

A security auditor for Tailscale configurations, scanning for misconfigurations and best practice violations.

A TypeScript extension for VSCode that makes TypeScript errors more human-readable and visually appealing.

gvm is a Go Version Manager that allows developers to easily install and manage multiple versions of the Go programming language.

A VS Code extension that allows developers to solve LeetCode problems directly within their IDE.

Straightforward project scaffolding tool for developers looking to quickly set up new projects.

Byte Buddy is a Java library for generating and manipulating Java bytecode at runtime.

A free and open-source code snippet manager for developers built with Vue.js and Electron.

A curated list of Chaos Engineering resources for building resilient and fault-tolerant systems.

A simple and extensible shell script for managing your todo.txt file.

A Linux performance profiling GUI tool for analyzing CPU performance and bottlenecks.

RStudio is an integrated development environment (IDE) for the R programming language.

Easily install PHP extensions in Docker containers

Advanced usermode anti-anti-debugger tool for x64dbg, a powerful open-source debugger.

A high-performance Git workflow tool for monorepo-scale development, optimized for velocity.

A shell script that helps reduce the size of Raspberry Pi disk images for faster backups and installs.

A comprehensive Docker cheat sheet for developers to quickly reference common Docker commands and concepts.

Native macOS menu bar app for unified AI API account management with real-time quota tracking

An extensible framework that enhances the graphical capabilities of the Emacs text editor.