Ada/SPARK ASN.1 implementation version 0.0.01

I'm making public my ASN.1 project which aims to be a verified implementation of ASN.1, which is used in security-certificates, which is hopefully the first step in a verified-TLS/-TLS -- the project also aims to be [directly] usable in DSA projects.

As of 0.0.01 the only portion implemented is a pure big-number package, and another currently shared-passive unit for usability.
I would certainly appropriate comments, criticism, and most especially contributions.

https://github.com/OneWingedShark/ASN.1/

From Shark8