This is
bgyss/SDL, an independent, agent-driven fork of SDL3, used as a test bed for formal verification, fuzzing and LLM-driven engineering. It carries bug fixes that upstream does not have, and it is not affiliated with or endorsed by the SDL project. For SDL itself, go to https://github.com/libsdl-org/SDL. The verification work, its findings and the fixes are underverification/, starting withverification/FINDINGS.md.
Simple DirectMedia Layer (SDL for short) is a cross-platform library designed to make it easy to write multi-media software, such as games and emulators.
You can find the latest release and additional information at: https://www.libsdl.org/
Installation instructions and a quick introduction is available in INSTALL.md
This library is distributed under the terms of the zlib license, available in LICENSE.txt.
Enjoy!
Sam Lantinga (slouken@libsdl.org)