Skip to content
@eyereasoner

EYE N3 Reasoner

Home of the EYE N3 rule reasoner and related software libraries

Pinned Loading

  1. eye Public

    Euler Yet another proof Engine

    Prolog 137 18

Repositories

Showing 10 of 22 repositories
  • Koreografeye Public

    A web choreography service using eye

    TypeScript 11 MIT 2 3 5 Updated Mar 24, 2025
  • eye-js Public

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

    TypeScript 47 MIT 5 15 8 Updated Mar 24, 2025
  • eye Public

    Euler Yet another proof Engine

    Prolog 137 MIT 18 13 0 Updated Mar 23, 2025
  • arvol Public

    Independent development of https://github.com/eyereasoner/eye/tree/master/nexus using webized ISO standard prolog

    Prolog 0 0 0 0 Updated Mar 23, 2025
  • rdfsurfaces-tests Public

    A test kit for RDF Surfaces

    JavaScript 2 2 0 0 Updated Jan 15, 2025
  • lib-owl Public

    An owl component library

    Shell 3 1 0 0 Updated Jan 10, 2025
  • Notation3-By-Example Public

    Example N3 scripts to demonstrate the various built-in functions

    Shell 13 MIT 3 1 0 Updated Dec 9, 2024
  • lingua Public

    The lingua reasoner.

    Prolog 1 MIT 0 0 0 Updated Nov 17, 2024
  • ling2n3 Public

    A Lingua to Notation3 translator

    Shell 0 0 0 0 Updated Aug 31, 2024
  • team-pi Public

    Policy processing experiments

    Shell 0 0 0 0 Updated Aug 7, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…