A Go implementation of the first provably polynomial-time primality test.
You can see the project here.
