Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
The seL4 microkernel
Run VS Code on any server over SSH.
IPv4 and IPv6 address rate limiting evasion tool
Terminal-based CPU stress and monitoring utility
The next open source file uploader for web browsers 🐶
Never use print for debugging again
Mumble is an open source, low-latency, high quality voice chat software primarily intended for use while gaming.
A tiling terminal emulator for Linux using GTK+ 3
News, full-text, and article metadata extraction in Python 3. Advanced docs:
A work-in-progress, open-source, multi-player city simulation game.
A block-styled editor with clean JSON output
BOOM: Berkeley Out-of-Order Machine
open source driving agent
For slim progress bars like on YouTube, Medium, etc
Run VS Code on a remote server.
Real-time performance monitoring, done right! https://my-netdata.io/
Ghidra is a software reverse engineering (SRE) framework
Semantic is a UI component framework based around useful principles from natural language.
Cross-platform music production software
A short description of the C++ build process
A markdown editor for developers on Mac, Windows and Linux.
Lightweight UI components for Vue.js based on Bulma
Integrates LTTng's kernel-level tracing with the Jaeger trace framework.
Terraform enables you to safely and predictably create, change, and improve infrastructure. It is an open source tool that codifies APIs into declarative configuration files that can be shared amon…
The Docker Bench for Security is a script that checks for dozens of common best-practices around deploying Docker containers in production.
Deduplicating archiver with compression and authenticated encryption.
The markdown-based note-taking app that doesn't suck.