TLC is an explicit state model checker for specifications in TLA+
Lightweight, robust, elegant syntax highlighting
A C library for reading, creating, and modifying zip archives.
Additional plug-ins and extensions for Java's ImageIO
Client-side JS platform for artists, designers and students to express
FFmpeg for browser, powered by WebAssembly
OpenAPI Generator allows generation of API client libraries
Self-Learning, Vector Graph Neural Network, and Database built in Rust
A Java math library for OpenGL rendering calculations
Improved Quake III Arena engine
Apache Log4net is a versatile, feature-rich, efficient logging API
The best file downloader library for Android
High-performance fake data generator for Python
Create beautiful fullscreen scrolling websites fast and easy
Redis library for rust
Web Crawler/Spider for NodeJS + server-side jQuery
The only tool you need to know what is happening and how to fix it
Cutting-edge tools powering Angular full-stack development
Open-source compression utility and library
The Ultimate Collection of 700+ Agentic Skills for Claude Code
Efficient library for processing 3D data
go chart is a basic charting library in go
Rich is a Python library for rich text and beautiful formatting
A ranked list of awesome Python open-source libraries
The core OCaml system: compilers, runtime system, base libraries