EYE N3 Reasoner

Home of the EYE N3 rule reasoner and related software libraries

Pinned Loading

eye eye Public

Euler Yet another proof Engine

Prolog 167 19

Repositories

eyeron Public
Eyeron is a Rust command-line and library implementation of a core Notation3/N3 reasoner.

eyereasoner/eyeron’s past year of commit activity

Rust 0 MIT 0 0 0 Updated Jun 30, 2026
pyling Public
A Python port of Eyeling

eyereasoner/pyling’s past year of commit activity

Python 0 MIT 0 1 0 Updated Jun 30, 2026
seam Public
A small reasoning language with ISO Prolog-compatible surface syntax.

eyereasoner/seam’s past year of commit activity

JavaScript 1 MIT 0 0 0 Updated Jun 30, 2026
eyereasoner.github.io Public

eyereasoner/eyereasoner.github.io’s past year of commit activity

HTML 0 0 0 0 Updated Jun 28, 2026
eyeleng Public
EYE Logic Engine - a JavaScript implementation of SHACL 1.2 Rules

eyereasoner/eyeleng’s past year of commit activity

JavaScript 0 MIT 0 0 0 Updated Jun 28, 2026
eye-js Public
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

eyereasoner/eye-js’s past year of commit activity

TypeScript 69 MIT 7 17 14 Updated Jun 22, 2026
eyeling Public
A Notation3 (N3) reasoner in JavaScript.

eyereasoner/eyeling’s past year of commit activity

JavaScript 18 MIT 4 0 0 Updated Jun 21, 2026
eye Public
Euler Yet another proof Engine

eyereasoner/eye’s past year of commit activity

Prolog 167 MIT 19 24 0 Updated Jun 19, 2026
rdfsurfaces-tests Public
A test kit for RDF Surfaces

eyereasoner/rdfsurfaces-tests’s past year of commit activity

JavaScript 2 2 0 0 Updated Jun 18, 2026
eyelet Public
eye reasoning in prolog

eyereasoner/eyelet’s past year of commit activity

Prolog 2 MIT 0 0 0 Updated May 29, 2026

View all repositories

People

Top languages

Loading…

Most used topics

Loading…