Paste JSON-LD, hit
Run. Parsing (
toRdf) and
RDFC-1.0 canonicalization run in your browser, F*-extracted, loaded from
this site's own
npm/foafos package mirror — no npm install,
no server round-trip.
← back to the main demo
JSON-LD support is Phase 1-3b: expanded form, inline
@context,
@reverse, container maps
(
@set/
@list), and
@base
relative-IRI resolution all work.
Remote contexts (a
bare URL string as
@context) are
not
supported yet — there is no context-loader/fetch step in
JSONLD.Expand.fst. Try the "remote-context example" button
below to see the honest failure rather than a silently-empty result.
Current W3C toRdf score and the phase plan:
jsonld-phase2-runner.md.