diff --git a/README.md b/README.md
index 0d6dfb1..70663db 100644
--- a/README.md
+++ b/README.md
@@ -106,6 +106,7 @@ either, as this "reference implementation" tries to be as easy to read as possib
 - https://github.com/0xd34df00d/hsqoi (Haskell)
 - https://github.com/418Coffee/qoi-v (V)
 - https://github.com/Imagine-Programming/QoiImagePlugin (PureBasic)
+- https://github.com/Fabien-Chouteau/qoi-spark (Ada/SPARK formally proven)
 
 ## QOI Support in Other Software