Jesse Wright (jeswr)

jeswr

Geek Repo

Company:University of Oxford

Location:Oxford, England

Home Page:https://www.jeswr.org/#me

Github PK Tool:Github PK Tool


Organizations
comunica
jesse-wright-reasoning-honours
jeswr-university-projects
LDflex
on2ts
schimatos
shacljs
w3c

Jesse Wright's repositories

antd-resizeable-sidebar

A resizeable sidebar component for use with the antd library

Language:TypeScriptLicense:MITStargazers:5Issues:1Issues:2

rdf-serve.js

An express server for RDF documents with content negotiation

Language:TypeScriptLicense:MITStargazers:3Issues:1Issues:0

pretty-turtle

A pretty writer for turtle

Language:TypeScriptLicense:MITStargazers:2Issues:0Issues:0

RDF.lean

An RDF Library for Lean4

Language:RustLicense:MITStargazers:2Issues:1Issues:1

claude3-n3-reasoning-test

Playground for Claude3 + N3 reasoning

Language:TypeScriptStargazers:1Issues:0Issues:0

lean2rdf

Convert theorems in Lean to RDF

Language:LeanLicense:MITStargazers:1Issues:0Issues:0

rdf-dereference-store.js

Dereference a remote resource to a store

Language:TypeScriptLicense:MITStargazers:1Issues:0Issues:0

rdf-transform.js

Transform between streams of different RDF syntaxes

Language:TypeScriptLicense:MITStargazers:1Issues:0Issues:0

RustFFI.lean

Rust RDF FFI

Language:RustLicense:MITStargazers:1Issues:0Issues:0

shaclcjs

A parser for files written with SHACL compact syntax

Language:YaccLicense:MITStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

eye-qa

An experimental library for QA with eye

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

is-quad

Checks if a BaseQuad is a valid RDF Quad

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:2
Language:TypeScriptStargazers:0Issues:0Issues:0

lean-sys

Rust bindings for the Lean 4 proof assistant

License:Apache-2.0Stargazers:0Issues:0Issues:0

lean-sys-rust-test

Testing lean-sys in a basic rust library setting

Language:RustStargazers:0Issues:0Issues:0

microsoft-kg-as-rdf

Read parts of the Microsoft Knowledge Graph as RDF

Language:TypeScriptStargazers:0Issues:0Issues:0

oxigraph

SPARQL graph database

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rdf-dereference.js

Dereference any URL for its RDF contents

License:MITStargazers:0Issues:0Issues:0

rdfjs-sign

Utils for signing RDF with C14N and WebCrypto

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

rdflib.js

Linked Data API for JavaScript

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

shacl

SHACL Community Group (Post-REC activitities)

Stargazers:0Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

shacl2shex-docker

Dockerising the shacl2shex functionality of shaclex

Language:DockerfileStargazers:0Issues:0Issues:0

shaclex

SHACL/ShEx implementation

License:MITStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

swipl-devel

SWI-Prolog Main development repository

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

template-typescript

Template repo for my Typescript projects

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:9

who-do-i-trust-extension

A browser extension providing personalised information on what sources of information are trustworthy

Language:HTMLStargazers:0Issues:0Issues:0