bg
/
steelcrypt
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Crypto library written in Ada
14 Commits 1 Branch 0 Tags 25 MiB
Ada 99.5%
Makefile 0.3%
Ruby 0.2%
Go to file
bg nerilex 5a5dd82907 +README.md 2015-08-15 05:31:55 +02:00
src adding SHA3 2015-08-15 04:58:52 +02:00
testvectors/sha2 more SHA-2 + testvectors 2015-07-02 16:50:15 +02:00
.gitattributes trying to fix highlighting 2015-07-10 12:24:42 +02:00
LICENSE Including GPLv3 license and Copyright statements. 2015-06-11 02:54:45 +02:00
Makefile initial commit - types seem to work to some degree 2015-04-22 02:05:50 +02:00
README.md +README.md 2015-08-15 05:31:55 +02:00
steelcrypt.gpr change to BlockCipher-API 2015-08-15 04:46:10 +02:00

README.md

SteelCrypt

SteelCrypt is a open-source and free crypto library written in Ada.

The aims are:

  • provide a unified, generic and easy to use API
  • provide secure and safe implementations which maybe get formal verification (somewhere in the distant future)
  • implement the algorithms in an efficient way

This is preliminary work to implement a secure and safe TLS library.