@duerig the rail projects finished last week. One group implemented a compiler to LLVM: https://github.com/SWP-Ubau-SoSe2014-Haskell/SWPSoSe14 , the other group compiles to Java bytecode: https://github.com/ccebinger/SWPSoSe14/network
@duerig I'm glad you like it! I was trying to include as many types of crossings as possible. It really feels like a puzzle game to lay out the rails. Your idea about befunge & SpaceChem definitely makes sense.