Pinned Loading

1. eyereasoner/eye eyereasoner/eye Public

   Euler Yet another proof Engine

   Prolog 167 19

2. eyereasoner/eyeling eyereasoner/eyeling Public

   A Notation3 (N3) reasoner in JavaScript.

   JavaScript 18 4

3. eyereasoner/see eyereasoner/see Public

   A small reasoning language with Symbolic English surface syntax.

   JavaScript 1

4. eyereasoner/eyeleng eyereasoner/eyeleng Public

   EYE Logic Engine - a JavaScript implementation of SHACL 1.2 Rules

   JavaScript

5. eyereasoner/eyeron eyereasoner/eyeron Public

   Eyeron is a Rust command-line and library implementation of a core N3 reasoner.

   Rust 1 1

6. openarc openarc Public

   open, executable thinking artifacts that compute an answer, explain the reason why, and run checks that make the reasoning inspectable.

   HTML 1