continuous-verification in ohenley/awesome-ada

SPARK formal verification automated with Travis CI

updated at Dec. 10, 2021, 9:10 a.m.

4 +0

9 +0

0 +0

STOTP in ohenley/awesome-ada

SPARK TOTP library

updated at June 17, 2021, 8:30 p.m.

4 +0

7 +0

1 +0

sl3p in ohenley/awesome-ada

Simple Layer 3 Protocol

updated at Dec. 11, 2018, 8:49 p.m.

2 +0

1 +0

0 +0

MicroTemPi in ohenley/awesome-ada

Raspberry Pi using a BBC Micro:Bit as temperature sensor

updated at Sept. 20, 2018, 1:34 p.m.

2 +0

2 +0

0 +0

wiringPi-Ada in ohenley/awesome-ada

Ada bindings for wiringPi

updated at Sept. 1, 2018, 9:55 a.m.

2 +0

0 +0

0 +0