The bignum-embedded project is crawling out of the proof-of-concept stage. It's based on the bn functions from OpenSSL which implement arbitrary- precision arithmetic. I've teased these loose from OpenSSL, and they've now run in an stm32f4-discovery board and produced correct results. Code has yet to be cleaned up; there are probably still hidden and undocumented dependencies on my particular toolchain.
Hosted at github:
Mel.