Cosmos is an operating system "construction kit"
CI maintained precompiled GCC ARM/ARM64 Toolchains for Raspberry Pi
A realtime-schedule generator for educational purposes
Utility to show live progress, status & stats for running simulations
Performance Timing Tools
gMol molecular graphics
Pre-Alpha Console distro for high performance Linux computing.