Jesse Wright

on2ts. Typescript generation from OWL ontologies and SHACL

RDF.lean. An RDF Library for Lean4

antd-resizeable-sidebar. A resizeable sidebar component for use with the antd library

pretty-turtle. A pretty writer for turtle

rdf-serve.js. An express server for RDF documents with content negotiation

shapeRepo. TypeScript

hylar-core. A lightweight module containing core reasoner logic from HyLAR (https://github.com/ucbl/HyLAR-Reasoner.git)

queryable-credentials. Work towards queryable selective-disclosure credentials | potentially ZKP over SPARQL

sparql-inferenced. An RDF inferencer that extends the Hylar inferencing engine to allow inferencing with SPARQL Construct queries

rdf-dereference-store.js. Dereference a remote resource to a store

shacl2shex. TypeScript

shaclcjs. A parser for files written with SHACL compact syntax

cookie-analysis. Analysing the cookies across a number of websites

simplify-logic-statement-ts. Takes a logical statement and simplifies it.

risc0-sparql-poc. A POC using Oxigraph to generate ZKP proof of SPARQL query execution

phd-language-dialogue-experiment. TypeScript

rdf-transform.js. Transform between streams of different RDF syntaxes

solid-drive. HTML

rdf-object-proxy. A proxy for the rdf-object library to match the LDflex API

RustFFI.lean. Rust RDF FFI

solid-mcp. Access data in a Solid Pod using the Model Context Protocol

solid-launch. TypeScript

css-auth-utils. A library with short term utilities for logging into the CSS with username/password from a script

lws-acp. Repo to play with design of access control policies for LWS

claude3-n3-reasoning-test. Playground for Claude3 + N3 reasoning

useState. React hook with same API as use state implemented using useReducer

lean2rdf. Convert theorems in Lean to RDF

zkSPARQL-bench. A benchmark for zero knowledge SPARQL queries over Verifiable Credentials