« earlier | later » Page 8 of 15
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...
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.
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.
Some uninteresting web development stuff -- but part of this is a Python-to-Javascript compiler, which is interesting.
to compiler javascript python software ... on 04 February 2009
« earlier | later » Page 8 of 15
tasty by Adam Sampson.