Giters
Guilherme Lima (gflima)

gflima

Geek Repo

18

followers

3

following

11

stars

Company:IBM

Location:Rio de Janeiro, Brazil

Home Page:https://research.ibm.com/people/guilherme-augusto-ferreira-lima

Github PK Tool:Github PK Tool

Organizations
ibm-hyperknowledge
TeleMidia

Guilherme Lima's repositories

ceu.hs

Language:HaskellLicense:MITStargazers:1Issues:2Issues:6

gqr-1

GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi

Language:C++License:GPL-2.0Stargazers:1Issues:0Issues:0

pesca

pesca: Proof Editor for Sequent Calculus

Language:HaskellLicense:GPL-2.0Stargazers:1Issues:1Issues:0

ceu.spec

(Basic) Ceu.hs + LiquidHaskell

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

jtabwb

Java Tableau Workbench

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

openllet

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0