• MPTP 0.2

  • Referenced in 43 articles [sw02589]
  • TPTP exporter is now just a XSLT stylesheet translating the XML tree to the TPTP...
  • biXid

  • Referenced in 9 articles [sw12667]
  • formats. Existng XML transformation languages, such as XSLT and XDuce, are unsatisfactory for this purpose...
  • XMLSpy

  • Referenced in 5 articles [sw15631]
  • debuggers, profilers, full database integration, support for XSLT, XPath, XQuery, WSDL, SOAP, XBRL, JSON...
  • XSugar

  • Referenced in 5 articles [sw35682]
  • alternative more legible non-XML syntax. XSLT stylesheets are often used to convert from...
  • SXSLT

  • Referenced in 3 articles [sw02365]
  • transformed trees. The language can emulate XSLT in whole or in part, in a more...
  • Sxslt

  • Referenced in 1 article [sw25499]
  • translator. It allows R programmers to use XSLT directly from within R, and also allows ... directional package. It provides a stand-alone XSLT processor that extends xsltproc with support...
  • R-programs

  • Referenced in 1 article [sw01364]
  • with multiple inputs. However, in XQuery and XSLT, a twig pattern may be scattered across...
  • X-Fun

  • Referenced in 1 article [sw14200]
  • query evaluator. We also discuss compilers from XSLT, XQuery and XProc into X-Fun which...
  • Coq

  • Referenced in 1764 articles [sw00161]
  • Coq is a formal proof management system. It...
  • eXist

  • Referenced in 16 articles [sw01467]
  • eXist: An open source native XML database. With...
  • PathLog

  • Referenced in 4 articles [sw01607]
  • PathLog: A query language for schemaless databases of...
  • MXML

  • Referenced in 7 articles [sw03376]
  • Representing time-dependent information in multidimensional XML Multidimensional...
  • SPIN

  • Referenced in 708 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 841 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • GenFoo

  • Referenced in 1 article [sw05907]
  • GenFoo is a general Fokker-Planck solver for...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • OCaml is the most popular variant of the...
  • XQuery

  • Referenced in 122 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Erlang

  • Referenced in 108 articles [sw07202]
  • Erlang is a programming language used to build...
  • CDuce

  • Referenced in 49 articles [sw12434]
  • CDuce: an XML-centric general-purpose language. We...
  • XDuce

  • Referenced in 54 articles [sw12436]
  • XDuce: A statically typed XML processing language. XDuce...