Tasty » Adam Sampson's compiler bookmarks

Welcome to MyHDL [MyHDL] edit / delete

A tool for FPGA design in Python -- you write a Python program linking a load of generators together, and it compiles it to Verilog. Yet another nearly-process-oriented thing, but the simulation/compilation approach is neat.

to compiler fpga python research software ... on 04 July 2006

Pluvo Programming Language edit / delete

A slightly-Python/Rubyesque language with dynamic binding, prototypes, and a fairly neat syntax.

to compiler design language python research ... on 03 July 2006

CSAIL Publications edit / delete

... going back to 1959. Some very interesting reading here.

to ai compiler papers research retrocomputing ... on 02 June 2006

µOCCAM - CS3 Individual Programming Project edit / delete

Building a compiler for an occam subset (in C).

to compiler occam research ... on 20 April 2006

ASPN : Python Cookbook : Tail Call Optimization Decorator edit / delete

Pretty neat -- but does it do the right thing if there are non-tail calls in the function too?

to compiler python research ... on 28 February 2006

D Parser Homepage edit / delete

A C parser library that looks pretty neat -- one of the examples it comes with is a Python grammar, so it should handle occam fine.

to compiler parsing research ... on 24 February 2006

delta.tigris.org edit / delete

"Delta assists you in minimizing "interesting" files subject to a test of their interestingness." -- i.e. it lets you bisect a file. This could be useful for reducing KRoC crasher examples...

to compiler research software testing ... on 13 February 2006

the language machine edit / delete

A grammar-based general-purpose transformation engine. It looks like it'd be perfectly feasible to write a compiler in this, although I'm not especially convinced I'd want to; it's probably more useful for doing transformations between source languages.

to compiler macro parsing research ... on 08 February 2006

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