Popular repositories Loading

1. ceu.hs ceu.hs Public

   Haskell 1

2. pesca pesca Public

   Forked from lucch/pesca

   pesca: Proof Editor for Sequent Calculus

   Haskell 1

3. gqr-1 gqr-1 Public

   Forked from m-westphal/gqr

   GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi

   C++ 1

4. ceu.spec ceu.spec Public

   (Basic) Ceu.hs + LiquidHaskell

   Haskell

5. openllet openllet Public

   Forked from Galigator/openllet

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

   Java

6. jtabwb jtabwb Public

   Forked from ferram/jtabwb

   Java Tableau Workbench

   Java