"clang" C Language Family Frontend for LLVM

LLVM now has a C/C++ frontend. Since the AST it produces is designed to support static analysis and refactoring, this would allow us to do occam-style concurrency analysis of C++ programs -- which'd be neat. We should look more at LLVM.

to c compiler cpp research ... on 16 August 2008

talloc

Hierachical allocator from the Samba folks. This looks like an eminently sensible way of doing MM in C programs.

to allocator c software ... on 17 June 2007

Dom's software - BBC Micro software and utilities

Partial port of CC65 to the BBC.

to bbc c compiler retrocomputing software ... on 20 May 2007

Vala – Trac

Compiler from a C#-like language to C with GObject. Perhaps worth looking at for Potamus in the future?

to c compiler design gtk language programming ... on 05 March 2007

Bit Twiddling Hacks

to c programming research ... on 04 January 2007

Mike Acton

Some interesting stuff about GCC and optimisation; in particular, a good discussion of strict aliasing and how it can help the optimiser.

to c compiler optimisation programming research ... on 16 December 2006

Coding Guidelines

Includes an online book that's an *incredibly* detailed commentary on the C99 spec (1600-odd pages). Fascinating stuff.

to c design language research ... on 16 December 2006

The TenDRA Project

C/C++ compilers with static checking features. Interesting for being a DERA-originated free software project.

to c c++ compiler research static-checking ... on 13 August 2006

The Instant C/C++ in Python

Inline C in Python using SWIG.

to c programming python swig ... on 23 July 2006