eye
by eyereasoner
Euler Yet another proof Engine
AI summary
Reasoning engine
A reasoning engine that supports the Semantic Web layers and implements Notation3.
- stars
- 127
- forks
- 17
- watching
- 12
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Chess Engine
A chess engine built using ReasonML with features like minimax algorithm and alpha-beta pruning for game development.
EL reasoner
A reasoner for the description logic EL+ ontology language
View Engine
A View Engine for building dynamic web pages in ThinkJS applications
Reasoner
An incremental reasoner for the Web using RDF-based libraries and a rule-based engine.
Ontology reasoner
An algorithmic reasoner for describing and inferring relationships in large-scale ontologies
ReasonML integrator
A toolset that enables conversion and integration of ReasonML with standard programming languages and web development environments.
Debugger
A tool that enables step-by-step debugging and inspection of OCaml and Reason code
Reasoner
A consequence-based reasoner for Description Logics ontology language
Rules engine
A Clojure-based rules engine that provides a flexible and simple way to define and execute business rules
HTML renderer
An engine that renders HTML documents in a JUCE-based framework.
Multimodal Reasoner
An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning
Reason Code Tools
Tools and utilities to effectively write native Reason code
ded/qwery1.1K
Selector engine
An HTML query selector engine providing utility functions for DOM manipulation and event handling
Inferencing Engine
Provides a lightweight neural network inferencing engine for real-time systems
OWL reasoner
An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions eye.
