TLC is an explicit state model checker for specifications in TLA+
A lightweight game server framework implemented with Actor Model
Cross-Platform C++ GUI Library
Kubernetes Controller for building, testing and deploying MCP servers
OpenAI API Client in PHP SDK for OpenAI GPT-3 and DALL-E
PyTorch code and models for V-JEPA self-supervised learning from video
Pterodactyl® is a free, open-source game server management panel
Kotlin code completion, diagnostics and more for any editor/IDE
Supports tests, providing lightweight, throwaway instances of database
Context engineering is the new vibe coding
LLM-based agent for general purpose software engineering tasks
Virtual AI anchor that combines state-of-the-art technology
Comprehensive study guide for coding interviews
Improved Quake III Arena engine
AstroNvim is an aesthetic and feature-rich neovim config
For when Node is running but you don't know why
A MCP for Claude Desktop / Claude Code / Windsurf / Cursor
The Telegram Bot Framework
Python Socket.IO server and client
Educational computer programming environment using Haskell
A cross-platform (C99/C++11) process library
True object-oriented Java web framework without NULLs
A hyperparameter optimization framework
Python Cheat Sheet
Tinker in your browser