awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
Componolit avatar

Componolit/SXMLArchived

0
View on GitHub↗
24 stars·2 forks·Ada·AGPL-3.0·8 views

SXML

SXML is an XML library implemented in pure SPARK 2014. Absence of runtime errors and bounded stack usage have been proven for the library. This makes it a ideal choice for processing information of untrusted origin.

Features

  • Data Format Libraries - Formally verified XML library in SPARK.

Star history

Star history chart for componolit/sxmlStar history chart for componolit/sxml

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Open-source alternatives to SXML

Similar open-source projects, ranked by how many features they share with SXML.
  • alire-project/xmlezoutalire-project avatar

    alire-project/xmlezout

    3View on GitHub↗

    XML EZ_Out

    Ada
    View on GitHub↗3
  • cocobelgica/autohotkey-jsoncocobelgica avatar

    cocobelgica/AutoHotkey-JSON

    284View on GitHub↗

    JSON module for AutoHotkey

    AutoHotkey
    View on GitHub↗284
  • cocobelgica/autohotkey-serdescocobelgica avatar

    cocobelgica/AutoHotkey-SerDes

    15View on GitHub↗

    Serialize / de-serialize an AutoHotkey object structure

    AutoHotkey
    View on GitHub↗15
  • adacore/xmladaAdaCore avatar

    AdaCore/xmlada

    29View on GitHub↗

    XML/Ada: An XML parser for Ada95

    Ada
    View on GitHub↗29
See all 20 alternatives to SXML→

Frequently asked questions

What does componolit/sxml do?

SXML is an XML library implemented in pure SPARK 2014. Absence of runtime errors and bounded stack usage have been proven for the library. This makes it a ideal choice for processing information of untrusted origin.

What are the main features of componolit/sxml?

The main features of componolit/sxml are: Data Format Libraries.

What are some open-source alternatives to componolit/sxml?

Open-source alternatives to componolit/sxml include: alire-project/xmlezout — XML EZ_Out. cocobelgica/autohotkey-json — JSON module for AutoHotkey. cocobelgica/autohotkey-serdes — Serialize / de-serialize an AutoHotkey object structure. componolit/jwx — JWX is a library for handling JSON data and more. It is implemented in the SPARK programming language and has been… frett27/ada-midi — Ada-Midi. adacore/xmlada — XML/Ada: An XML parser for Ada95.