Skip to content

@eyereasoner EYE N3 Reasoner

All

    Repositories list

    33 repositories

    • eye-js

      Public
      A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
      javascriptsemantictypescript
      javascriptsemantictypescriptwebsolidrdfproofwebassemblyowlsurfaces
      TypeScript
      •
      MIT License
      •8•72•11•23•Updated Oct 14, 2026Oct 14, 2026

    • eyelee

      Public
      A law execution engine with Answer, Reason and Check.
      Gherkin
      •
      Other
      •0•0•0•0•Updated Oct 14, 2026Oct 14, 2026

    • eyelang

      Public
      A simple symbolic logic programming language.
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Oct 13, 2026Oct 13, 2026

    • eyeprolog

      Public
      EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.
      Prolog
      •
      MIT License
      •2•22•5•0•Updated Oct 11, 2026Oct 11, 2026

    • peye

      Public
      A standalone, dependency-free Python rule language with forward and backward reasoning and checkable proofs.
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 9, 2026Oct 9, 2026

    • eyeleng

      Public
      Eyeleng is a JavaScript implementation of SPARQL 1.2 RL (SRL).
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Oct 9, 2026Oct 9, 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 che…
      javascriptrule-engineprolog
      javascriptrule-engineprologlogic-programmingreasoningbackward-chainingproof-checkingforward-chainingexplainable-aizero-dependencies
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Oct 5, 2026Oct 5, 2026

    • eyelet

      Public
      eye reasoning in prolog
      Prolog
      •
      MIT License
      •0•2•0•0•Updated Oct 1, 2026Oct 1, 2026

    • eyeron

      Public
      Eyeron is a Rust reasoner for Notation3 (N3), turning facts and rules into conclusions with verifiable proofs.
      rustsparqlrdf
      rustsparqlrdfprologsemantic-webdataloglogic-programmingn3reasonernotation3
      Rust
      •
      MIT License
      •3•5•1•0•Updated Sep 28, 2026Sep 28, 2026

    • eyeling

      Public
      A Notation3 (N3) reasoner in JavaScript.
      JavaScript
      •
      MIT License
      •6•19•0•0•Updated Sep 23, 2026Sep 23, 2026

    • rdf-prolog-interchange

      Public
      Standalone RDF ↔ Prolog interchange toolkit.
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Sep 9, 2026Sep 9, 2026

    • eye

      Public
      Euler Yet another proof Engine
      Prolog
      •
      MIT License
      •19•176•25•0•Updated Sep 7, 2026Sep 7, 2026

    • pyling

      Public
      A Python port of Eyeling
      Python
      •
      MIT License
      •0•2•0•0•Updated Sep 2, 2026Sep 2, 2026

    • eyereasoner.github.io

      Public
      HTML
      •1•0•0•0•Updated Aug 7, 2026Aug 7, 2026

    • rdfsurfaces-tests

      Public
      A test kit for RDF Surfaces
      JavaScript
      •2•2•0•0•Updated Jun 18, 2026Jun 18, 2026

    • Koreografeye

      Public
      A web choreography service using eye
      TypeScript
      •
      MIT License
      •2•12•3•5•Updated Nov 24, 2025Nov 24, 2025

    • lib-owl

      Public
      An owl component library
      Shell
      •2•3•1•0•Updated Jan 10, 2025Jan 10, 2025

    • Notation3-By-Example

      Public
      Example N3 scripts to demonstrate the various built-in functions
      linked-datan3notation3
      linked-datan3notation3
      Shell
      •
      MIT License
      •4•14•1•0•Updated Dec 9, 2024Dec 9, 2024

    • lingua

      Public
      The lingua reasoner.
      Prolog
      •
      MIT License
      •0•4•0•0•Updated Nov 17, 2024Nov 17, 2024

    • ling2n3

      Public
      A Lingua to Notation3 translator
      Shell
      •0•0•0•0•Updated Aug 31, 2024Aug 31, 2024

    • team-pi

      Public
      Policy processing experiments
      Shell
      •0•0•0•0•Updated Aug 7, 2024Aug 7, 2024

    • n32s

      Public
      Notation3 (RDF Surfaces) to N3S precompiler
      rdfprolognotation3
      rdfprolognotation3
      TypeScript
      •1•2•0•0•Updated May 22, 2024May 22, 2024

    • forwarder

      Public
      Translate Notation3 backward rules into forward rules
      Shell
      •1•2•0•0•Updated Mar 2, 2024Mar 2, 2024

    • reasoning-service

      Public
      Python
      •2•6•0•2•Updated Feb 15, 2024Feb 15, 2024

    • lib-rdfs

      Public
      An rdfs component library
      Shell
      •2•4•0•1•Updated Feb 1, 2024Feb 1, 2024

    • KoreografeyeDemo

      Public
      Demonstrations for the Koreografeye project
      semantic-weborchestrationrules-engine
      semantic-weborchestrationrules-enginereasoningnotation3
      1•0•2•0•Updated Jan 8, 2024Jan 8, 2024

    • Koreografeye-Plugin

      Public
      A collection of Koreaografeye plugin extensions
      TypeScript
      •1•0•2•0•Updated Sep 8, 2023Sep 8, 2023

    • line2surface

      Public
      Compile a line syntax into RDF Surfaces
      Prolog
      •1•3•0•0•Updated Apr 23, 2023Apr 23, 2023

    • eye.js

      Public
      TypeScript
      •0•3•1•1•Updated Jan 9, 2023Jan 9, 2023

    • EyeServer

      Public
      EyeServer is a server for the EYE reasoner.
      JavaScript
      •
      Other
      •8•31•3•0•Updated Jan 7, 2023Jan 7, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.