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

    HTML 115 16

Repositories

Showing 10 of 20 repositories
  • eye Public

    Euler Yet another proof Engine

    eyereasoner/eye’s past year of commit activity
    HTML 115 MIT 16 7 0 Updated Jun 30, 2024
  • rdfsurfaces-tests Public

    A test kit for RDF Surfaces

    eyereasoner/rdfsurfaces-tests’s past year of commit activity
    JavaScript 2 1 0 0 Updated Jun 28, 2024
  • Koreografeye Public

    A web choreography service using eye

    eyereasoner/Koreografeye’s past year of commit activity
    TypeScript 10 MIT 2 3 1 Updated Jun 27, 2024
  • eye-js Public

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

    eyereasoner/eye-js’s past year of commit activity
    TypeScript 33 MIT 5 15 8 Updated Jun 26, 2024
  • n32s Public

    Notation3 (RDF Surfaces) to N3S precompiler

    eyereasoner/n32s’s past year of commit activity
    TypeScript 2 1 0 0 Updated May 22, 2024
  • lingua Public archive

    The lingua reasoner.

    eyereasoner/lingua’s past year of commit activity
    Prolog 1 MIT 0 0 0 Updated Apr 8, 2024
  • 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 12 MIT 3 1 0 Updated Apr 4, 2024
  • ling2n3 Public

    A Lingua to Notation3 translator

    eyereasoner/ling2n3’s past year of commit activity
    Shell 0 0 0 0 Updated Mar 6, 2024
  • forwarder Public

    Translate Notation3 backward rules into forward rules

    eyereasoner/forwarder’s past year of commit activity
    Shell 2 1 0 0 Updated Mar 2, 2024
  • reasoning-service Public
    eyereasoner/reasoning-service’s past year of commit activity
    Python 5 1 0 1 Updated Feb 15, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…