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 135 18

Repositories

Showing 10 of 23 repositories
  • Koreografeye Public

    A web choreography service using eye

    eyereasoner/Koreografeye’s past year of commit activity
    TypeScript 11 MIT 2 3 4 Updated Mar 6, 2025
  • eyeprover Public

    A proof engine using webized prolog

    eyereasoner/eyeprover’s past year of commit activity
    Prolog 0 MIT 0 0 0 Updated Mar 5, 2025
  • eye Public

    Euler Yet another proof Engine

    eyereasoner/eye’s past year of commit activity
    Prolog 135 MIT 18 12 0 Updated Mar 5, 2025
  • eye-js Public

    A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

    eyereasoner/eye-js’s past year of commit activity
    TypeScript 45 MIT 5 15 8 Updated Mar 5, 2025
  • rdfsurfaces-tests Public

    A test kit for RDF Surfaces

    eyereasoner/rdfsurfaces-tests’s past year of commit activity
    JavaScript 2 2 0 0 Updated Jan 15, 2025
  • lib-owl Public

    An owl component library

    eyereasoner/lib-owl’s past year of commit activity
    Shell 3 1 0 0 Updated Jan 10, 2025
  • rdfpackages Public

    rdfpackages can contain data, logic and proofs described in RDF

    eyereasoner/rdfpackages’s past year of commit activity
    Shell 0 0 0 0 Updated Jan 9, 2025
  • Notation3-By-Example Public

    Example N3 scripts to demonstrate the various built-in functions

    eyereasoner/Notation3-By-Example’s past year of commit activity
    Shell 13 MIT 3 1 0 Updated Dec 9, 2024
  • lingua Public

    The lingua reasoner.

    eyereasoner/lingua’s past year of commit activity
    Prolog 1 MIT 0 0 0 Updated Nov 17, 2024
  • ling2n3 Public

    A Lingua to Notation3 translator

    eyereasoner/ling2n3’s past year of commit activity
    Shell 0 0 0 0 Updated Aug 31, 2024
View all repositories

Top languages

Loading…

Most used topics

notation3 rdf