Popular repositories Loading

1. ProtegeDLAxiomPlugin ProtegeDLAxiomPluginPublic

   A plugin for Protégé that shows all Class Axioms of the selected class in Description Logic notation.

   Java 5 3

2. PRO PROPublic

   A Preferential Reasoner for Ontologies

   Java 4

3. DDLV DDLVPublic

   Java 1

4. BusinessOpticsBTR BusinessOpticsBTRPublic

   Python

5. CompilerPart2 CompilerPart2Public

   Lexical, parsing, and semantic error detection, IR code representation, Assembly code representation, and running of a fictional programming language using PLY's lex and yacc libraries

   Python

6. SchemeBlackJack SchemeBlackJackPublic

   Functional code written in Scheme that simulates a Black Jack game

   Scheme