FIRST Windows Driver Station
Qt-based C++ GUI programming interface to R
Implementation of the finite element method for linear elasticity
Wikipedia browser
Unified Verification Environment
AI-enabled bridge for OnStep/LX200 telescope controllers(ASCOM/Alpaca)