gneiss

AGPL-3.0Ada

A SPARK library for building portable, verifiable, and high-performance trusted components in component-based systems.

GitHub

24 stars3 forks0 contributors

Overview

Framework for platform-independent SPARK components

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

6 years ago

CreatedSince 2019

Built With

Ada

Included in

Ada/SPARK821

Auto-fetched 15 hours ago

ada-util

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

Stars83

Forks17

Last commit10 days ago

gnatcoll-core

GNAT Components Collection – Core packages

Stars54

Forks36

Last commit7 days ago

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

Stars15

Forks15

Last commit6 months ago

gnatcoll-db

GNAT Components Collection – Database packages

Stars14

Forks23

Last commit8 months ago