Both seeeduinos have schematics in eagle etc, i think they are open source. But dont think there is much difference between those and standard arduino.
But this one as FPGA - now thats something really different:
Papilio
Seems its somehow close to Arduino also, just havent figured exactly how and at what degree. But it certainly looks interesting and promising.
Interesting choice for sure.