Componolit/RecordFlux-specifications Componolit/RecordFlux-specifications

  • This repository has been archived on 10/Oct/2022
  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Ada
  • License
    GNU Affero Genera...
  • Created about 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Componolit/RecordFlux-specifications
github

Componolit

Reviews

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

Repository Details

Specifications for RecordFlux

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

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