AdaCore GmbH

Dresden, Germany

Pinned Repositories

ada-runtime
Language:Ada33 9 564
ada-style
6 4 170
AZ3
Ada binding to the Z3 Theorem Prover
Language:Ada6 4 211
basalt
Collection of formally verified building blocks
Language:Ada9 4 170
Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Language:Python15 5 03
gneiss
Framework for platform-independent SPARK components
Language:Ada22 8 1232
jwx
JSON/JWK/JWS/JWT/Base64 library in SPARK
Language:Ada17 5 71
libsparkcrypto
A cryptographic library in SPARK 2014
Language:Ada27 9 153
RecordFlux-specifications
Specifications for RecordFlux
Language:Ada5 3 381
SXML
Formally verified, bounded-stack XML library
Language:Ada22 3 702

AdaCore GmbH's Repositories

Componolit/ada-runtime
Language:Ada33 9 564
Componolit/libsparkcrypto
A cryptographic library in SPARK 2014
Language:Ada27 9 153
Componolit/gneiss
Framework for platform-independent SPARK components
Language:Ada22 8 1232
Componolit/SXML
Formally verified, bounded-stack XML library
Language:Ada22 3 702
Componolit/jwx
JSON/JWK/JWS/JWT/Base64 library in SPARK
Language:Ada17 5 71
Componolit/Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Language:Python15 5 03
Componolit/basalt
Collection of formally verified building blocks
Language:Ada9 4 170
Componolit/ada-style
6 4 170
Componolit/AZ3
Ada binding to the Z3 Theorem Prover
Language:Ada6 4 211
Componolit/RecordFlux-specifications
Specifications for RecordFlux
Language:Ada5 3 381
Componolit/sparkprof
Language:Python4 3 0
Componolit/7-segment-driver
Driver for 7 segment displays based on the STM32F0 Discovery board
Language:Ada3 6 70
Componolit/systematization-binary-vulnerabilities
3 3 76
Componolit/gravel
Component library for components built with Gneiss
Language:Ada2 2 7
Componolit/cbe
1 2 0
Componolit/Workarounds
Repository to track workarounds to be removed once an upstream solution is available
1 4 49
Componolit/aidl-cpp
Androids C++ AIDL code generator for Linux
Language:Makefile3 0
Componolit/docker-ci
CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux
Language:Dockerfile1 11
Componolit/fizz
C++14 implementation of the TLS-1.3 standard
Language:C++3 0
Componolit/genode-componolit
Language:Makefile2 0
Componolit/gh-pages-deployment-experiment
Language:Makefile2 0
Componolit/github-action-cache
Cache dependencies and build outputs in GitHub Actions
Language:TypeScript1 0
Componolit/libspdm
Language:C1 0
Componolit/message-sequence-formalization
3 50
Componolit/spdm-emu
Language:C1 1
Componolit/systematization-binary-formats
3 53
Componolit/systematization-binary-schemas
3 59
Componolit/systematization-related-work
3 23
Componolit/systematization-session-vulnerabilities
3 2
Componolit/systematization-tools
3 56