Skip to content
View alanruttenberg's full-sized avatar

Organizations

@OBOFoundry

Block or report alanruttenberg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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