Merge pull request #221 from Fabien-Chouteau/patch-1

Add link to Ada/SPARK implementation
This commit is contained in:
Dominic Szablewski 2022-06-12 09:31:15 +02:00 committed by GitHub
commit 1f4e585898
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -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