Componolit/ada-style Componolit/ada-style

  • Stars
    star
    6
  • Rank 2,471,180 (Top 50 %)
  • Language
  • License
    GNU Affero Genera...
  • Created about 5 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Componolit/ada-style
github

Componolit

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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
16
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

AZ3

Ada binding to the Z3 Theorem Prover
Ada
6
star
9

RecordFlux-specifications

Specifications for RecordFlux
Ada
5
star
10

sparkprof

Python
4
star
11

systematization-binary-vulnerabilities

3
star
12

rilproxy

Lua
3
star
13

7-segment-driver

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

safehub

Python
2
star
15

gravel

Component library for components built with Gneiss
Ada
2
star
16

sparkunit

Unit test framework for SPARK 2005
Ada
1
star
17

ali2dep

GNAT ALI to make dependency converter
Ada
1
star
18

sgx-ada

Makefile
1
star
19

Workarounds

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