https://github.com/jklmnn/sl3p
Ada1
6 years ago
Simple Layer 3 Protocol
GNU Affero General Public License v3.0
Raspberry Pi using a BBC Micro:Bit as temperature sensor
Ada2gpl-3.0
SPARK TOTP library
Ada7lgpl-3.0
5 years ago
2fa2fa-securityada
Android App for parking spots in Dresden.
Java26gpl-3.0
3 years ago
dresdenopen-dataparkendd
SPARK formal verification automated with Travis CI
Ada9gpl-3.0
Ada bindings for wiringPi
Ada0lgpl-3.0
adaraspberry-piraspberrypi