Tasty » Adam Sampson's compiler bookmarks

The Compcert certified compiler back-end edit / delete

A compiler that has been proved correct (in CoQ).

to compiler formal-methods research ... on 04 February 2006

Parsec, a fast combinator parser edit / delete

The rather cool Parsec library for Haskell.

to compiler haskell parsing research software ... on 04 February 2006

PyPy[index] edit / delete

Python, implemented in Python.

to compiler python research vm ... on 01 February 2006

The Computer Language Shootout Benchmarks edit / delete

Benchmarks written in a whole load of different languages. I've implemented some of these in occam-pi today.

to compiler programming research ... on 01 February 2006

ONLamp.com: Building Recursive Descent Parsers with Python edit / delete

Using the pyparsing Python library to build parsers.

to compiler parsing python research software ... on 28 January 2006

iCompile Homepage edit / delete

Automatic code compiler -- something that had been talked about on Gale in the past.

to build compiler make research software ... on 03 December 2005

The Amsterdam Compiler Kit edit / delete

Compiler tools. Includes an occam compiler with some Unix interfacing bits.

to compiler occam research ... on 26 October 2005

Java theory and practice: Synchronization optimizations in Mustang edit / delete

Optimising locking in the JVM.

to compiler parallel research vm ... on 21 October 2005

MetaEnvironment edit / delete

The language toolkit that the seminar was talking about the other day -- this looks like it'd be well worth experimenting with.

to compiler language programming research software ... on 15 October 2005

Shedskin - A Python-to-C++ Compiler edit / delete

Nice idea, although the current limitations mean that none of my code will work (certainly not rawdog).

to c++ compiler python research ... on 26 September 2005