AdaCore GmbH (@Componolit)
Guthub

Componolit

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    183
  • Global Org. Rank 42,375 (Top 14 %)
  • Registered over 7 years ago
  • Most used languages
    Ada
         70.6 %
    Python
         17.6 %
    Makefile     5.9 %
    Lua
         5.9 %
  • Location 🇩🇪 Germany
  • Country Total Rank 6,851
  • Country Ranking
    Ada
         1
    Lua
         823
    Makefile     989
    Python
         4,649

Top repositories

1

ada-runtime

Ada
33
star
2

libsparkcrypto

A cryptographic library in SPARK 2014
Ada
27
star
3

gneiss

Framework for platform-independent SPARK components
Ada
22
star
4

SXML

Formally verified, bounded-stack XML library
Ada
21
star
5

jwx

JSON/JWK/JWS/JWT/Base64 library in SPARK
Ada
17
star
6

Cappulada

[DEPRECATED] Generate Ada bindings to C++ code
Python
15
star
7

basalt

Collection of formally verified building blocks
Ada
9
star
8

ada-style

6
star
9

AZ3

Ada binding to the Z3 Theorem Prover
Ada
6
star
10

RecordFlux-specifications

Specifications for RecordFlux
Ada
5
star
11

sparkprof

Python
4
star
12

systematization-binary-vulnerabilities

3
star
13

rilproxy

Lua
3
star
14

7-segment-driver

Driver for 7 segment displays based on the STM32F0 Discovery board
Ada
3
star
15

safehub

Python
2
star
16

gravel

Component library for components built with Gneiss
Ada
2
star
17

sparkunit

Unit test framework for SPARK 2005
Ada
1
star
18

ali2dep

GNAT ALI to make dependency converter
Ada
1
star
19

sgx-ada

Makefile
1
star
20

Workarounds

Repository to track workarounds to be removed once an upstream solution is available
1
star