Componolit/gravel Componolit/gravel

  • Stars
    star
    2
  • Language
    Ada
  • License
    GNU Affero Genera...
  • Created about 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Componolit/gravel
github

Componolit

Reviews

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

Repository Details

Component library for components built with Gneiss

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

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

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