AdaCore GmbH

icon indicating a website link http://adacore.com icon indicating an email [email protected]

icon location Dresden, Germany

Results 6 repositories owned by AdaCore GmbH

ada-runtime

31
Stars
2
Forks
Watchers

verified publisher icon Componolit

gneiss

22
Stars
2
Forks
Watchers

Framework for platform-independent SPARK components

verified publisher icon Componolit

jwx

17
Stars
0
Forks
Watchers

JSON/JWK/JWS/JWT/Base64 library in SPARK

verified publisher icon Componolit

libsparkcrypto

27
Stars
3
Forks
Watchers

A cryptographic library in SPARK 2014

verified publisher icon Componolit

SXML

21
Stars
2
Forks
Watchers

Formally verified, bounded-stack XML library

verified publisher icon Componolit

Cappulada

15
Stars
3
Forks
Watchers

[DEPRECATED] Generate Ada bindings to C++ code

verified publisher icon Componolit