Add initial project list

Signed-off-by: Nigel Jones <[email protected]>

2024-04-hackathon.md

@@ -16,9 +16,10 @@ are below, but given the geographical spread there may be people available befor
 
 Thanks for joining the Hackathon. After all of the interest around the PQCA launch, we now want to start making it real by onboarding projects:
 
-* Get contributors starting to setup projects for ML-KEM implementations in this GitHub organization
+* Get contributors involved starting to setup projects for ML-KEM implementations in this GitHub organization
 * Create github repos with appropriate teams, permissions, controls, and start populating with code
 * Get initial build/compiles working & continue with any additional ci activities such as security scans
+* Start documenting the project
 * Bring the community together for real-time discussions and help to make this real
 
 ## Collaboration
@@ -37,11 +38,10 @@ For raising issues around pq-code-package generally:
 
 ## Onboarding projects
 
-- List of projects & contacts we hope to onboard
+- [List of projects & contacts we hope to onboard](candidate-projects)
 - getting started with setting up a new project
 
 
-
 ## Facilitators
 
 If you have any issues, concerns or questions that can't be resolved from the above, please do contact:

candidate-projects.md

@@ -0,0 +1,17 @@
+# Candidate projects
+
+The following projects have been discussed as candidates for pq-code-package.
+
+For these we expect on get started with the hands-on onboarding without delay.
+
+If you have other projects to propose, please bring it up in the discussion, or raise an issue with the TSC
+
+| Project | Characteristics | Language | Leaders |  
+| --- | --- | --- | --- | 
+| Generic - based on PQ Crystals | ML-KEM, Generic/Reference, audited |C | John Schanck |
+| AVX2 optimized | ML-KEM, optimized (AVX2), formally verified | Jasmin | Manuel Barbosa, Tiago Oliveira, Peter Schwabe |
+| libcrux | ML_KEM, formally verified | Rust| Franziskus Kiefer, Karthikeyan Bhargavan |
+| Python | ML-KEM, machine readable spec | Python | Bas Westerbaan |
+| microcontroller optimized | ML-KEM, ARM/RISC-V5 controllers, stack/32 bit optimized | C | Matthias Kannwischer |
+| arm optimized | ML-KEM, aarch64, Arm Cortex-A/Arm Cortex-X/Apple M/Arm Neoverse/AWS Graviton | C | Matthias Kannwischer |
+| Test Vectors | good test vectors, audited | - | Norman Ashley |