Implement data compression algorithms in the CubedOS library

cubesatlab / cubedos

A flight software framework in SPARK/Ada

48 stars 5 forks source link

Implement data compression algorithms in the CubedOS library #9

Open pchapin opened 6 years ago

pchapin commented 6 years ago

Many space applications make use of data compression in one form or another. We should provide support for the commonly used algorithms in package CubedOS.Lib (and written in SPARK, of course).