Code generator in Haskell that produces hyper-optimized Go code for elliptic curve computations over finite fields (e.g. Curve25519). 

source code