Pinned Repositories
qlever
Very fast SPARQL Engine, which can handle very large knowledge graphs like the complete Wikidata, offers context-sensitive autocompletion for SPARQL queries, and allows combination with text search. It's faster than engines like Blazegraph or Virtuoso, especially for queries involving large result sets.
luagravity
LuaGravity is a reactive language that implements the synchronous approach for concurrency.
ceu.hs
ceu.spec
(Basic) Ceu.hs + LiquidHaskell
gqr-1
GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
jtabwb
Java Tableau Workbench
openllet
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
pesca
pesca: Proof Editor for Sequent Calculus
ULKB
A HOL-based framework for reasoning over knowledge graphs
ginga
A Ginga iTV middleware implementation by TeleMídia/PUC-Rio
gflima's Repositories
gflima/ceu.hs
gflima/gqr-1
GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
gflima/pesca
pesca: Proof Editor for Sequent Calculus
gflima/ceu.spec
(Basic) Ceu.hs + LiquidHaskell
gflima/jtabwb
Java Tableau Workbench
gflima/openllet
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.