Who starred PyTorch on July 22 — with full provenance

SELECT ?user ?t ?ev WHERE {
  << ?user gh:starred <https://github.com/pytorch/pytorch…
  << ?user gh:starred <https://github.com/pytorch/pytorch…
  FILTER(?t >= "2025-07-22T00:00:00Z"^^xsd:dateTime && ?t…
} ORDER BY ?t LIMIT 100

Run this query → no server · no download · no account

caviri.github.io/rete

Run this query in the playground → no server, no download — the query runs in your browser.

The query

PREFIX gh: <https://w3id.org/rete/gharchive#> PREFIX prov: <http://www.w3.org/ns/prov#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> SELECT ?user ?t ?ev WHERE { << ?user gh:starred <https://github.com/pytorch/pytorch> >> prov:atTime ?t . << ?user gh:starred <https://github.com/pytorch/pytorch> >> prov:wasGeneratedBy ?ev . FILTER(?t >= "2025-07-22T00:00:00Z"^^xsd:dateTime && ?t < "2025-07-23T00:00:00Z"^^xsd:dateTime) } ORDER BY ?t LIMIT 100

rete playground · documentation · github.com/caviri/rete