Skip to content
View josd's full-sized avatar

Block or report josd

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. eyereasoner/eye eyereasoner/eye Public

    Euler Yet another proof Engine

    Prolog 164 19

  2. eyereasoner/eyelingo eyereasoner/eyelingo Public

    Small Go translations of selected EyeReasoner/Eyeling N3 examples.

    Shell

  3. eyereasoner/eyeling eyereasoner/eyeling Public

    A Notation3 (N3) reasoner in JavaScript.

    JavaScript 14 2