update Readme.md with examples
@@ -11,15 +11,26 @@ A formal description of the hacspec language can be found in [Language.md](Langu
# Repository Structure
This is a cargo workspace consisting of three crates:
-* [hacspec](hacspec/)
+* [hacspec](hacspec/) ![Build & Test](https://github.com/hacspec/hacspec/workflows/Build%20&%20Test/badge.svg) ![Deploy Docs](https://github.com/hacspec/hacspec/workflows/Deploy%20Docs/badge.svg)
* [abstract-integers](abstract-integers/)
* [secret-integers](secret-integers/)
+The clippy checker for the hacspec language lives in a [separate repository](https://github.com/hacspec/rust-clippy/tree/hacspec)-
+
# Examples
There's a set of example specs [here](hacspec/examples/).
To run all examples one can either use `cargo test --example <name>` or the helper script `test-examples.sh` to run all examples.
* [AES 128](hacspec/examples/aes/aes.rs)
+* [GF 128](hacspec/examples/aes/gf128.rs)
+* [AES-GCM 128](hacspec/examples/aes/aesgcm.rs)
* [Chacha20](hacspec/examples/chacha/chacha20.rs)
* [Poly1305](hacspec/examples/chacha/poly1305.rs)
* [Chacha20Poly1305](hacspec/examples/chacha/chacha20poly1305.rs)
+* [Blake2b](hacspec/examples/blake2/blake2b.rs)
+* [Curve25519](hacspec/examples/curve25519/curve25519.rs)
+* [Fips202](hacspec/examples/fips202/fips202.rs)
+* [SHA256](hacspec/examples/sha2/sha2.rs)
+* [HKDF-SHA256](hacspec/examples/hkdf/hkdf.rs)
+* [HMAC-SHA256](hacspec/examples/hkdf/hmac.rs)
+* [P256](hacspec/examples/p256/p256.rs)
