Stars
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
One-stop Visual Studio Code Extension to compile, debug and profile Amiga C/C++ programs compiled by the bundled gcc 14.2 with the bundled WinUAE/FS-UAE.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A Fast and Easy to use microframework for the web.
A general-purpose CMake library that provides functions that improve the CMake experience following the best practices.
Damselfly is a server-based Photograph Management app. The goal of Damselfly is to index an extremely large collection of images, and allow easy search and retrieval of those images, using metadata…
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
oneAPI Level Zero Specification Headers and Loader
Sources for Arm Streamline's gator daemon, part of Arm Mobile Studio suite of performance analysis tools
A JavaScript engine optimized for running React Native.
tools to create and extract Squashfs filesystems
Raspberry Pi bare metal code for qemu raspi2 and raspi3.
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
ImTui: Immediate Mode Text-based User Interface C++ Library
An experimental text editor based on Scintilla and Turbo Vision.
A modern port of Turbo Vision 2.0, the classical framework for text-based user interfaces. Now cross-platform and with Unicode support.