An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
47,133 repositories indexed
1–2 of 2 · Most stars
An Ada 2012 implementation of the Rx methodology
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm