https://github.com/jklmnn/continuous-verification
Ada9
5 years ago
SPARK formal verification automated with Travis CI
GNU General Public License v3.0
Android App for parking spots in Dresden.
Java26gpl-3.0
4 years ago
dresdenopen-dataparkendd
Ada bindings for wiringPi
Ada0lgpl-3.0
6 years ago
adaraspberry-piraspberrypi