EYE N3 Reasoner
Home of the EYE N3 rule reasoner and related software libraries
Pinned
Loading
Euler Yet another proof Engine
Prolog
131
17
Repositories
Showing 10 of 23 repositories
eye
Public
Euler Yet another proof Engine
eyereasoner/eye’s past year of commit activity
Prolog
131
MIT
17
10
0
Updated Jan 31, 2025
eyereasoner/Koreografeye’s past year of commit activity
TypeScript
10
MIT
2
3
4
Updated Jan 31, 2025
eye-js
Public
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
eyereasoner/eye-js’s past year of commit activity
TypeScript
43
MIT
5
15
9
Updated Jan 29, 2025
eyelog
Public archive
Running eye reasoning examples and test cases in webized prolog
eyereasoner/eyelog’s past year of commit activity
Prolog
1
MIT
0
0
0
Updated Jan 26, 2025
eyereasoner/rdfsurfaces-tests’s past year of commit activity
JavaScript
2
2
0
0
Updated Jan 15, 2025
lib-owl
Public
An owl component library
eyereasoner/lib-owl’s past year of commit activity
Shell
3
1
0
0
Updated Jan 10, 2025
rdfpackages
Public
rdfpackages can contain data, logic and proofs described in RDF
eyereasoner/rdfpackages’s past year of commit activity
Shell
0
0
0
0
Updated Jan 9, 2025
eyereasoner/Notation3-By-Example’s past year of commit activity
Shell
13
MIT
3
1
0
Updated Dec 9, 2024
lingua
Public
The lingua reasoner.
eyereasoner/lingua’s past year of commit activity
Prolog
1
MIT
0
0
0
Updated Nov 17, 2024
ling2n3
Public
A Lingua to Notation3 translator
eyereasoner/ling2n3’s past year of commit activity
Shell
0
0
0
0
Updated Aug 31, 2024
Most used topics
Loading…
You can’t perform that action at this time.