2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
NVIDIA Linux open GPU kernel module source
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
GPU DataFrame Library
Secure open source Linux distribution
Debugging and programming interfaces for Freescale microcontroller
CI maintained precompiled GCC ARM/ARM64 Toolchains for Raspberry Pi
DistroClone Backup & Restore Incremental rootfs backup and restore
Embedded by examples
GaryOS is an entire GNU/Linux system in a single bootable file
uIDE (Micro IDE) is a free, open-source IDE for GPUtils
Console based rcon client for minecraft servers.
UNIX/LINUX and legal homebrew software on the xbox360 gaming console
SDL2 binding for Go
An ES6+ aware minifier based on the Babel toolchain (beta)
LFS that builds GNU/Linux %100 NON-STOP from GNU C 4.4 - Firefox-20.0
Build and compile ARMv7 or Raspberry Pi application on x86_64
An educational operating system written in C#
Embedded linux and cross toolchain
Live CD to compile programs
Technology project