sparq
One engine · 5 themes · honestly labelled

The whole RDF stack, one Rust engine — in your tab.

Every sparq capability, grouped into five themes you can scan in seconds. Query, reason, search, prove, and serve — each surface runs the real engine and wears a badge that says exactly how it runs, from live wasm to a captured-output walkthrough. No demo pretends to be more than it is.

across 5 capability themes
16surfacesacross 5 capability themes
run the real engine in your browser
10in-tabrun the real engine in your browser
ZK · MPC · Solid, end-to-end
3flagshipsZK · MPC · Solid, end-to-end
SPARQL + RDF-star, native Rust
1.1 / 1.2SPARQL + RDF-star, native Rust
Live in your tabLive SPARQL REPL
Run query
PREFIX ex:   <http://example.org/>
PREFIX foaf: <http://xmlns.com/foaf/0.1/>
SELECT ?name ?age ?friend WHERE {
  ex:alice foaf:name  ?name ;
           foaf:age   ?age ;
           foaf:knows ?friend .
} ORDER BY ?friend

The real prefilled query from the sample social graph — open it in the live REPL.

Start here

Three proofs that the breadth is real

Not feature checkboxes — complete, runnable demos that each prove one hard thing. Open one and walk away having seen it work.

The full surface set

Every capability, five themes

Each tile is a real surface. The badge is the honest contract for how that surface runs on this static site.

  • Live in your tabshipped wasm, running in your tab now
  • Live (new wasm)an additional wasm bundle, lazy-loaded on expand
  • Live via bb.jsin-tab proving via 3rd-party bb.js UltraHonk
  • Live simulationa faithful in-tab JS simulation of the native protocol
  • Walkthroughcaptured, verbatim engine output replayed (no backend on a static site)
01 / 05

Query & data

Run SPARQL 1.1/1.2 over RDF — the live REPL, the query engine, and the formats it ingests.

Open the full live SPARQL REPL
02 / 05

Reason & validate

Derive new triples and check graphs against shapes — RDFS / OWL 2 RL / N3 closure and SHACL.

03 / 05

Search & GenAI

Find and generate over RDF — BM25 full-text, vector k-NN, and a natural-language → SPARQL loop.

04 / 05

Privacy (ZK / MPC)

Answer queries without revealing the data — zero-knowledge query proofs and threshold MPC federation. Research-grade: the v1 verifier is not externally audited.

Research-grade, labelled as such. The v1 ZK verifier is not externally audited — sound as landed under its stated threat model, pending re-review. MPC runs as a faithful in-tab simulation of the native protocol, not a proof of correctness. Indicative engineering, not an audited cryptographic guarantee.
05 / 05

Serve & embed

Run sparq as a service or embed it — the HTTP endpoint, the CLI, Python bindings, and streaming RSP-QL.

CLI
sparq-cli — query / reason / build / query-mmap.
WalkthroughSource
Python
sparq pyo3 bindings.
WalkthroughSource