Skip to content

Navigation Menu

eyereasoner

Explore
For
- Enterprise
- Teams
- Startups
- Education
By Solution
Resources
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

EYE N3 Reasoner

Home of the EYE N3 rule reasoner and related software libraries

Overview
Repositories
Discussions
Projects
Packages
People

More

Overview
Repositories
Discussions
Projects
Packages
People

Pinned

eye eye Public

Euler Yet another proof Engine

HTML 113 16

Repositories

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All HTML JavaScript Prolog Python Shell TypeScript

Sort

Select order

Last updated Name Stars

Showing 10 of 20 repositories

eye Public
Euler Yet another proof Engine

HTML 113 MIT 16 7 0 Updated May 26, 2024
eye-js Public
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

TypeScript 33 MIT 4 13 8 Updated May 26, 2024
rdfsurfaces-tests Public
A test kit for RDF Surfaces

Shell 2 1 0 0 Updated May 26, 2024
Koreografeye Public
A web choreography service using eye

TypeScript 10 MIT 2 3 1 Updated May 24, 2024
n32s Public
Notation3 (RDF Surfaces) to N3S precompiler

TypeScript 2 1 0 0 Updated May 22, 2024
lingua Public archive
The lingua reasoner.

Prolog 1 MIT 0 0 0 Updated Apr 8, 2024
Notation3-By-Example Public
Example N3 scripts to demonstrate the various built-in functions

Shell 12 MIT 3 1 0 Updated Apr 4, 2024
ling2n3 Public
A Lingua to Notation3 translator

Shell 0 0 0 0 Updated Mar 6, 2024
forwarder Public
Translate Notation3 backward rules into forward rules

Shell 2 1 0 0 Updated Mar 2, 2024
reasoning-service Public

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…

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.