From c1c46c8a769462a301d6430af11c7e5c3d5003b9 Mon Sep 17 00:00:00 2001
From: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Date: Sun, 12 Jun 2022 08:35:13 +0200
Subject: [PATCH] Add link to Ada/SPARK implementation

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

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