Awesome
qoi-spark
“Quite OK Image” Ada/SPARK implementation
This is based on QOI format specification V1.
To call the Encode
/Decode
procedure you have to provide a large enough
output buffer. If the provided output buffer is not large enough, each
procedure will return with an Output_Size
of zero. For Encode
the minimum
size for the output buffer is given by the Encode_Worst_Case
function based
on the dimensions of the image and the number of channels. For Decode
you
should use the Get_Desc
procedure to get the image specification and then the
exact output size will be Desc.Width * Desc.Height * Desc.Channels
.