Lean 4 programming language and theorem prover
Now continued as OculiX — see oculix.org
Simple and Fast Multimedia Library
The Python programming language
Run multiple promise-returning & async functions
Monitorable, gracefully restarting, self-upgrading binaries in Go
For when Node is running but you don't know why
The high-availability solution to a problem that doesn't exist
Historical archive of removed source extensions for the Tachiyomi app
Stipple Effect is a pixel art editor that supports animation
This software is a particle effect editing tool
Modern OpenGL binding for Python
PostgreSQL Index Advisor
A low-level library for OpenGL context creation
pyglet is a cross-platform windowing and multimedia library for Python
The TypeScript MCP framework
A pure Kotlin UI framework for the Web and Desktop
Open source routing engine for OpenStreetMap
Claude Code notifications without the context switch
A collective list of free APIs
Python Cheat Sheet
Seamless operability between C++11 and Python
Chakra UI is a component system for building SaaS products with speed
JUICE is a UDP Interactive Connectivity Establishment library
claude-red is a curated library of offensive security skills