A NAT64 implementation for Linux
github.com
github.com
The first (that I know of) NAT64 implementation was in OpenBSD 5.1 release and there's support in the default firewall/packet filter (pf). I think FreeBSD has this code working as well, but I'm not sure, and I'm too lazy to check.
Here are some OpenBSD 5.1 release NAT64 details:
http://www.h-online.com/open/news/item/NAT64-OpenBSD-5-1-wil...
The following talk on NAT64 is a bit old (2010) but good
[1] http://www.mail-archive.com/misc@openbsd.org/msg107255.html
[1] Doesn't do DNS over IPv6, so can't operate in a IPv6-only environment.