Update README.md

ahpaleus · web-flow · commit 8593cc0dd4ef · 2025-08-01T12:31:43.000+02:00
diff --git a/README.md b/README.md
@@ -42,8 +42,10 @@ hope to demystify static and dynamic analysis techniques such as fuzzing and tai
 
 ### 🚧 Under construction
 
-- Formal verification and Tamarin
+- C/C++ checklist
+- kAFL
 - Rust
+- Formal verification and Tamarin
 
 ## How to contribute
 
