Language based on Rewriting Logic

Linked Data Notifications tests

Library and application for encoding non-classical logics into classical higher-order logic.

Regorus - A fast, lightweight Rego (OPA policy language) interpreter written in Rust.

RDF Linked Data in Markdown

🤔 A grounder and solver for logic programs.

Translation of OWL 2 RL axioms into Jena rules

🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

A truly Open Source MongoDB alternative

https://knowledgeonwebscale.github.io/dataflow-visualization/

Validate data using SHACL.

A template repository for TypeScript and Components.js

Zotero Data Server

ScholArxiv is an open-source aesthetic and minimal app that allows users to search, read, bookmark, share, download and view summaries of academic papers from the arXiv repository.

Collaborative office suite, end-to-end encrypted and open-source.

The devs are over here at devzat, chat over SSH!

An RDF surfaces reasoner

SWI-Prolog Main development repository

Search API based on top of knowledge graphs

Set up Community Solid Server with Debian, nginx, pm2 and letsencrypt

A free, single-player roguelike dungeon exploration game

A NodeJS SSL mutual authentication example

A self-hosted, ad-free, privacy-respecting metasearch engine

SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

A Memento TimeGate