spark-xml

AGPL-3.0Ada

A formally verified XML library in SPARK 2014, proven free of runtime errors and with bounded stack usage for secure untrusted data processing.

GitHub

24 stars2 forks0 contributors

Overview

Formally verified, bounded-stack XML library

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 2018

Built With

AFL

Ada

Included in

Ada/SPARK821

Auto-fetched 11 hours ago

json-ada

An Ada 2012 library for parsing JSON

Stars46

Forks5

Last commit1 year ago

protobuf

The Google Protocol Buffers implementation in Ada

Stars45

Forks6

Last commit2 months ago

xmlada

The XML/Ada toolkit.

Stars29

Forks16

Last commit5 months ago

generic-image-decoder

GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images

Stars28