Repository for the development of a new version of QuickStatements

A Lean 4 Jupyter kernel via repl

quick RDF viewer

All Algorithms implemented in Python

Queries over Wikidata dumps

LLMs as Copilots for Theorem Proving in Lean

Knowledge Graph Forum, Switzerland

Translational workforce roles and persona profiles

A visualization grammar.

Annotate with anyone, anywhere.

PDF Reader in JavaScript

This is a tool for R that prepares a CSV spreadsheet to upload data to ORKG.

This tool helps scrape DOIs from https://orcid.org/ and curate them using Scholia

Configurable Generation of Synthetic Schemas and Knowledge Graphs at Your Fingertips

A badge generator for ActivityPub-enabled social media platforms, i.e., fediverse

A Git-compatible VCS that is both simple and powerful

Tigramite is a python package for causal inference with a focus on time series data. The Tigramite documentation is at

Compute PageRank on >3 billion Wikipedia links on off-the-shelf hardware.

Generate random nonsense math papers

LLM inference in C/C++

SPARQL micro-services deployed at http://sparql-micro-service.org

A data model and client for QuickStatements (for Wikidata)

Python implementation of the Ecological Public Good model

An open source implementation of OpenAI's ChatGPT Code interpreter

WikiDB: Build a DB (key-value store - LMDB style) from Wikidata dump

The Pyret language.

A generated QR code for a monument that once scanned by mobile allows the user to listen to the Wikipedia page related to that monument in the mobile phone's language.