Categories Alternatives Stacks Self-Hosted Explore

© 2026 Open-Awesome. Curated for the developer elite.

Terms Privacy About GitHub RSS

coap-spark — Formally Verified CoAP in SPARK/Ada | Open Awesome

Home
Ada/SPARK
coap-spark

coap-spark

GPL-2.0Adav0.10.0

A formally verified implementation of the Constrained Application Protocol (CoAP) in SPARK/Ada, ensuring correctness for constrained IoT devices.

8 stars0 forks0 contributors

Overview

Formally verified implementation of the CoAP protocol in SPARK/Ada

Quick Stats

Stars8

Forks0

Contributors0

Open Issues0

Last commit

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

4 months ago

CreatedSince 2024

Tags

#iot #constrained-devices #ada #spark-ada #protocol-library #iot-communication #academic-research #coap #formal-verification

Built With

Included in

Auto-fetched 10 hours ago

BSD sockets in Ada

Last commit2 years ago

Apache Kafka Ada client library, based off of librdkafka

Last commit3 years ago

PCSC/Ada provides a thick Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API

Implementation of the DHCP protocol in Ada