A time travelling programming language
Comprehensive Python Cheatsheet
Lean 4 programming language and theorem prover
The Python programming language
A Lua implementation for the Dynamic Language Runtime (DLR)
An updated version of the classic "Basic Computer Games" book
Simple and Fast Multimedia Library
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
The programming language for agents
The statistical language R compiled to WebAssembly via Emscripten
Bootstrapping LISP in a Boot Sector
Cross-Platform C++ GUI Library
Official inference framework for 1-bit LLMs
Transpiler of Python to many other languages
The home of the ICU project source code
The official C++ client API for PostgreSQL
Simple DirectMedia Layer
Fast Python library for SEGY files
New version of the adventist hymnal multi-platform and multi-language
Lightweight Ruby
Micro second messaging that stores everything to disk
Capturing SSL/TLS plaintext without a CA certificate using eBPF
GoogleSQL (formerly ZetaSQL) - Analyzer Framework for SQL
Style guides for Google-originated open source projects
HSharp is a library used to analyze markup language like HTML