xia

github.comtool

An Ada implementation of XPath 1.0.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   xmlada github.com

   tool category #ada link ↗

   The XML/Ada toolkit.

   
2. ▲
   xpath github.com

   tool category #go link ↗

   XPath package for Go.

   
3. ▲
   spark-xml github.com

   tool category #ada link ↗

   A formally verified XML library in SPARK.

   
4. ▲
   shepmaster/sxd-xpath github.com

   tool category #rust link ↗

   An XPath library

   
5. ▲
   xpath github.com

   tool category #cl link ↗
   
6. ▲
   xml-ez-out github.com

   tool category #ada link ↗

   Library for emitting XML from Ada programs.

Ada/SPARK › Libraries > Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters: “An Ada implementation of XPath 1.0.”