Repositories list

• AZ3

  Public archive
  Ada binding to the Z3 Theorem Prover

  Ada

  •

  MIT License

  •11 fork•77 stars•00 issues•00 pull requests•Updated Aug 11, 2024Aug 11, 2024

• basalt

  Public archive
  Collection of formally verified building blocks

  sparkadaformal-verification

  sparkadaformal-verification

  Ada

  •

  GNU Affero General Public License v3.0

  •00 forks•99 stars•66 issues•00 pull requests•Updated Dec 9, 2022Dec 9, 2022

• RecordFlux-specifications

  Public archive
  Specifications for RecordFlux

  Ada

  •

  GNU Affero General Public License v3.0

  •11 fork•66 stars•00 issues•00 pull requests•Updated Oct 5, 2022Oct 5, 2022

• gh-pages-deployment-experiment

  Public archive
  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 30, 2022Aug 30, 2022

• ada-runtime

  Public archive
  Ada

  •

  GNU Affero General Public License v3.0

  •44 forks•3434 stars•88 issues•00 pull requests•Updated Aug 2, 2022Aug 2, 2022

• spdm-emu

  Public archive
  C

  •

  Other

  •6767 forks•00 stars•00 issues•00 pull requests•Updated Jun 7, 2022Jun 7, 2022

• libspdm

  Public archive
  C

  •

  Other

  •151151 forks•00 stars•00 issues•00 pull requests•Updated Jun 7, 2022Jun 7, 2022

• ada-style

  Public archive
  GNU Affero General Public License v3.0

  •00 forks•66 stars•00 issues•00 pull requests•Updated Jul 7, 2021Jul 7, 2021

• systematization-binary-vulnerabilities

  Public
  GNU Affero General Public License v3.0

  •00 forks•33 stars•7676 issues•00 pull requests•Updated May 2, 2021May 2, 2021

• libsparkcrypto

  Public archive
  A cryptographic library in SPARK 2014

  crypto-libraryformal-verification

  crypto-libraryformal-verification

  Ada

  •33 forks•2828 stars•00 issues•00 pull requests•Updated Jan 26, 2021Jan 26, 2021

• cbe

  Public archive
  GNU Affero General Public License v3.0

  •88 forks•11 star•00 issues•00 pull requests•Updated Oct 27, 2020Oct 27, 2020

• jwx

  Public archive
  JSON/JWK/JWS/JWT/Base64 library in SPARK

  jsonjwtbase64+ 8

  jsonjwtbase64sparkjosejwt-tokenjwkjwsadajwt-authentication+ 1

  Ada

  •

  GNU Affero General Public License v3.0

  •11 fork•2020 stars•00 issues•00 pull requests•Updated Oct 12, 2020Oct 12, 2020

• systematization-session-vulnerabilities

  Public
  GNU Affero General Public License v3.0

  •00 forks•00 stars•22 issues•00 pull requests•Updated Sep 3, 2020Sep 3, 2020

• gneiss

  Public archive
  Framework for platform-independent SPARK components

  embeddedsparkformal-methods+ 3

  embeddedsparkformal-methodsadaformal-verificationcomponent-based

  Ada

  •

  GNU Affero General Public License v3.0

  •22 forks•2424 stars•2929 issues•00 pull requests•Updated Aug 28, 2020Aug 28, 2020

• github-action-cache

  Public archive
  Cache dependencies and build outputs in GitHub Actions

  TypeScript

  •

  MIT License

  •1.5k1.5k forks•00 stars•00 issues•00 pull requests•Updated Jun 25, 2020Jun 25, 2020

• gravel

  Public archive
  Component library for components built with Gneiss

  Ada

  •

  GNU Affero General Public License v3.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jun 23, 2020Jun 23, 2020

• 7-segment-driver

  Public archive
  Driver for 7 segment displays based on the STM32F0 Discovery board

  Ada

  •

  GNU Affero General Public License v3.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jun 11, 2020Jun 11, 2020

• genode-componolit

  Public archive
  Makefile

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 10, 2020Jun 10, 2020

• message-sequence-formalization

  Public archive
  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 8, 2020Jun 8, 2020

• SXML

  Public archive
  Formally verified, bounded-stack XML library

  parsersparkxml+ 3

  parsersparkxmlformal-methodsadaformal-verification

  Ada

  •

  GNU Affero General Public License v3.0

  •22 forks•2424 stars•00 issues•00 pull requests•Updated May 26, 2020May 26, 2020

• sparkprof

  Public archive
  Python

  •

  MIT License

  •00 forks•44 stars•00 issues•00 pull requests•Updated May 26, 2020May 26, 2020

• systematization-related-work

  Public
  GNU Affero General Public License v3.0

  •00 forks•00 stars•2323 issues•00 pull requests•Updated Mar 4, 2020Mar 4, 2020

• systematization-tools

  Public
  GNU Affero General Public License v3.0

  •00 forks•00 stars•5656 issues•00 pull requests•Updated Mar 3, 2020Mar 3, 2020

• systematization-binary-formats

  Public
  GNU Affero General Public License v3.0

  •00 forks•00 stars•5353 issues•00 pull requests•Updated Feb 13, 2020Feb 13, 2020

• Workarounds

  Public archive
  Repository to track workarounds to be removed once an upstream solution is available

  GNU Affero General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 13, 2020Feb 13, 2020

• systematization-binary-schemas

  Public
  GNU Affero General Public License v3.0

  •00 forks•00 stars•5959 issues•00 pull requests•Updated Feb 5, 2020Feb 5, 2020

• docker-ci

  Public archive
  CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux

  Dockerfile

  •

  GNU Affero General Public License v3.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Feb 5, 2020Feb 5, 2020

• Cappulada

  Public archive
  [DEPRECATED] Generate Ada bindings to C++ code

  cppbindingsada+ 1

  cppbindingsadabinding-generator

  Python

  •

  GNU Affero General Public License v3.0

  •33 forks•1717 stars•3232 issues•00 pull requests•Updated Dec 9, 2019Dec 9, 2019

• aidl-cpp

  Public archive
  Androids C++ AIDL code generator for Linux

  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 17, 2019Oct 17, 2019

• fizz

  Public archive
  C++14 implementation of the TLS-1.3 standard

  C++

  •

  Other

  •168168 forks•00 stars•00 issues•00 pull requests•Updated Jun 13, 2019Jun 13, 2019