Llvm Websites
0xAB - Home
Research, robots, code and books. Andrei Barbu's personal page
The Cxx Programming Language
Cxx (C++) is a system programming language that provides clean, healthy, complete, strong, scalable, freedom foundation and many many more.
TTA-based Co-design Environment (TCE) tools
TCE - TTA-Based Co-Design Environment - An open source toolset for designing application-specific processors based on the Transport Triggered Architecture paradigm.
Low Level Bits
Compilers, developer tools, reverse engineering, software hardening
Crescent Bay Software
Advanced compiler optimization by Crescent Bay Software.
Jorge Navas Homepage
Jorge A. Navas is a senior researcher at Certora. Before, he was a senior computer scientist in the Computer Science Lab (CSL) at SRI International, a research engineer in the Robust Software Engineering Group at NASA Ames Research Center, a senior research fellow at The University of Melbourne, and a research fellow a