Tasty » Adam Sampson's compiler bookmarks

RFK :: Compiling RPython Programs edit / delete

An example of using PyPy to compile RPython programs (which is technically abusing it since it's only meant for compiling the Python implementation itself, but the results are impressive).

to compiler python ... on 26 August 2010

CoffeeScript edit / delete

Python (well, really Haskell)-style syntax for Javascript. This is something I've wanted for a while, since JS ought to be a usable language were it not for the 1970-style syntax. (That and reasonable POSIX bindings.)

to compiler javascript language-design ... on 17 August 2010

GHDL home page edit / delete

Simulate VHDL by compiling it to native code.

to compiler electronics fpga vhdl ... on 26 July 2010

The KLEE Symbolic Virtual Machine edit / delete

Symbolic execution for LLVM; this can automatically compute testcases to cause assertions to fail in arbitrary programs. The introductory paper's pretty neat.

to compiler llvm research static-checking tock ... on 09 April 2010

Embedded Debian -- The Universal Embedded Operating System edit / delete

Debian cross-toolchains.

to compiler cross-compiler debian software ... on 19 July 2009

CTools:MilepostGCC - cTuning.org edit / delete

GCC with machine-learning techniques for optimisation. This was on my ideas list a while ago...

to compiler gcc research ... on 08 July 2009

Things that amuse me edit / delete

Using the high-level LLVM bindings in Haskell to compile a typed language. This is awfully cute, but I'm not sure how you'd handle a language that let the user define their own datatypes -- you'd need a Haskell-type-level representation of source-level datatype names...

to compiler haskell llvm research tock types ... on 16 June 2009

WebHome < HUT < TWiki edit / delete

Some interesting parser/compiler stuff for Haskell.

to compiler grammar haskell parsing research ... on 06 June 2009

unladen-swallow - Google Code edit / delete

Python on LLVM.

to compiler llvm python ... on 24 May 2009

shedskin - Google Code edit / delete

Hm; thought I'd bookmarked this before... Anyway, it's a Python-to-C++ compiler that does type inference. I'd like to look at adding concurrency support to this, so we could do PyCSP-like stuff with reasonable performance.

to c++ compiler python research ... on 04 February 2009