Green-Sky/tomato
1
0
Fork 1
Code Issues Pull Requests 1 Actions Packages Projects Releases 1 Wiki Activity

Add link to Ada/SPARK implementation

Browse Source
This commit is contained in:
Fabien Chouteau
2022-06-12 08:35:13 +02:00
committed by GitHub
parent b4fab6fbc3
commit c1c46c8a76
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
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