The GNU Prolog native compiler
Collection of fast and optimized assembly libraries for x86-64 Linux
Pattern-based multi/many-core parallel programming framework
High-level, meta-language, trans-compiler with virutal machine
Project has been move to https://github.com/ciaa/Firmware
Hypervisor R&D for recent x86 with support for DRTM + 2D paging
Active Network Programming Language