Lean 4 programming language and theorem prover
Open Source H.264 Codec
Open source PDF editor
Formatting library as an alternative to C stdio and C++ iostreams
Modern C++ Terminal Emulator
Toolkit for making machine learning and data analysis applications
Precise localization based on GNSS and IMU
C++ IPC Library: A high-performance inter-process communication
A cross-platform file change monitor with multiple backends
Intel SPMD Program Compiler
Coroutine-based concurrency library for PHP
Free peer-reviewed portable C++ source libraries
Window hooker to run fullscreen programs in window and much more...
A plugin to improve Notepad++
The Small Device C Compiler (SDCC), targeting 8-bit architectures
statistical tests & psuedo- random number generators (RNGs, PRNGs)
OnixOS Arch is a Linux-based and open source distribution.