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/jwxArchived

0
View on GitHub↗
20 stars·1 fork·Ada·AGPL-3.0·8 views

Jwx

JWX is a library for handling JSON data and more. It is implemented in the SPARK programming language and has been proven to contain no runtime errors. As a result, JWX is particularly suited for processing untrusted information.

Features

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

Star history

Star history chart for componolit/jwxStar history chart for componolit/jwx

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.

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

Projects sharing features with Jwx

These projects share indexed features with Jwx. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • 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
Compare all 20 related projects→

Frequently asked questions

What does componolit/jwx do?

JWX is a library for handling JSON data and more. It is implemented in the SPARK programming language and has been proven to contain no runtime errors. As a result, JWX is particularly suited for processing untrusted information.

What are the main features of componolit/jwx?

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

Which projects share features with componolit/jwx?

Projects with overlapping indexed features 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/sxml — SXML is an XML library implemented in pure SPARK 2014. Absence of runtime errors and bounded stack usage have been… frett27/ada-midi — Ada-Midi. adacore/xmlada — XML/Ada: An XML parser for Ada95.