You might want to consider a name change. Gimli has already been used for a cryptographic algorithm from a pretty famous team of cryptographers[1], so your SEO might take a hit by using that name.

[1]: https://gimli.cr.yp.to/