Popular repositories Loading

1. lsw2 lsw2 Public

   OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data

   JavaScript 30 1

2. Racer Racer Public

   Forked from ha-mo-we/Racer

   Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).

   Web Ontology Language 2

3. obo2owl obo2owl Public

   Forked from cmungall/obo2owl

   collected documents specifying new obo<->owl translation

   1 1

4. js-to-paren js-to-paren Public

   convert javascript to parenscript

   Common Lisp 1 1

5. slime slime Public

   Forked from slime/slime

   The Superior Lisp Interaction Mode for Emacs

   Common Lisp 1

6. Snark Snark Public

   Forked from hoelzl/Snark

   Mark Stickel's Snark theorem prover

   Common Lisp 1 1