Tasty » Adam Sampson's c bookmarks

Coccinelle: A Program Matching and Transformation Tool for Systems Code edit / delete

Tool for applying "semantic patches" (e.g. adding an extra argument to a function under some conditions).

to c patch program-transformation refactoring software ... on 19 November 2009

IvyWiki : Home Page edit / delete

C with additional static checking.

to c concurrency language-design research ... on 16 October 2009

dsPIC development under Linux edit / delete

GCC for the dsPIC (as used in the e-puck).

to c e-puck gcc microcontroller pic ... on 03 June 2009

Matchflap College edit / delete

Tom Duff's web pages. Various interesting articles, and some cute bits of C.

to c programming research retrocomputing ... on 04 December 2008

"clang" C Language Family Frontend for LLVM edit / delete

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 edit / delete

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 edit / delete

Partial port of CC65 to the BBC.

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

Vala – Trac edit / delete

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 edit / delete

to c programming research ... on 04 January 2007

Mike Acton edit / delete

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