Skip to content
@eyereasoner

EYE N3 Reasoner

Home of the EYE N3 rule reasoner and related software libraries

Pinned Loading

  1. eye eye Public

    Euler Yet another proof Engine

    Prolog 175 19

Repositories

Showing 10 of 31 repositories
  • peye Public

    A standalone, dependency-free Python rule language with forward and backward reasoning and checkable proofs.

    eyereasoner/peye's past year of commit activity
    Python 0 MIT 0 0 0 Updated Oct 8, 2026
  • eyedia Public

    Eyedia — reasoning you can see. A dependency-free Prolog rule language with forward and backward reasoning, where every answer can come with a proof you can check.

    eyereasoner/eyedia's past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Oct 5, 2026
  • eyeleng Public

    Eyeleng is a JavaScript implementation of SPARQL 1.2 RL (SRL).

    eyereasoner/eyeleng's past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Oct 1, 2026
  • eyeprolog Public

    EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.

    eyereasoner/eyeprolog's past year of commit activity
    Prolog 21 MIT 2 5 0 Updated Oct 1, 2026
  • eyelet Public

    eye reasoning in prolog

    eyereasoner/eyelet's past year of commit activity
    Prolog 2 MIT 0 0 0 Updated Oct 1, 2026
  • eyeron Public

    Eyeron is a Rust reasoner for Notation3 (N3), turning facts and rules into conclusions with verifiable proofs.

    eyereasoner/eyeron's past year of commit activity
    Rust 5 MIT 3 1 0 Updated Sep 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 72 MIT 8 11 24 Updated Sep 28, 2026
  • eyeling Public

    A Notation3 (N3) reasoner in JavaScript.

    eyereasoner/eyeling's past year of commit activity
    JavaScript 19 MIT 6 0 0 Updated Sep 23, 2026
  • rdf-prolog-interchange Public

    Standalone RDF ↔ Prolog interchange toolkit.

    eyereasoner/rdf-prolog-interchange's past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Sep 9, 2026
  • eye Public

    Euler Yet another proof Engine

    eyereasoner/eye's past year of commit activity
    Prolog 175 MIT 19 25 0 Updated Sep 7, 2026
View all repositories