Pinned Repositories
abcl
Fork for new development
clave
Common Lisp Audio Video Engine
js-to-paren
convert javascript to parenscript
lsw2
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
molecular-sites
Continuing the protein site work.
obo2owl
collected documents specifying new obo<->owl translation
Racer
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
slime
The Superior Lisp Interaction Mode for Emacs
Snark
Mark Stickel's Snark theorem prover
winston-ai
Lisp code from Patrick Winston's AI Book
alanruttenberg's Repositories
alanruttenberg/lsw2
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
alanruttenberg/abcl
Fork for new development
alanruttenberg/clave
Common Lisp Audio Video Engine
alanruttenberg/slime
The Superior Lisp Interaction Mode for Emacs
alanruttenberg/winston-ai
Lisp code from Patrick Winston's AI Book
alanruttenberg/bfo-ontology.github.io
BFO Website
alanruttenberg/cl-prevalence
In memory database system for Common Lisp
alanruttenberg/cl-yacc
Common Lisp Yacc
alanruttenberg/CommonCoreOntologies
The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
alanruttenberg/iprover
iProver --- an instantiation-based theorem prover for first-order logic (Make it compile on MacOS)
alanruttenberg/jonathan
JSON encoder and decoder.
alanruttenberg/lilith
a literate programming tool to write common lisp codes in org mode.
alanruttenberg/lisp-binary
A library to easily read and write complex binary formats.
alanruttenberg/lncrnao
Preliminary work on long non-coding RNA subset of NCRO
alanruttenberg/lsw2-virtual-machine
Create a docker image of LSW2
alanruttenberg/mirnao
Resurrecting microRNA Ontology http://www.obofoundry.org/ontology/mirnao.html formerly on Google Code
alanruttenberg/mssql-jdbc
The Microsoft JDBC Driver for SQL Server is a Type 4 JDBC driver that provides database connectivity with SQL Server through the standard JDBC application program interfaces (APIs).
alanruttenberg/nsfo
Non-coding RNA Structural and Functional Ontology (NSFO)
alanruttenberg/obo-pathway
https://obo-pathway.googlecode.com/svn disappeared!
alanruttenberg/ogms
Automatically exported from code.google.com/p/ogms
alanruttenberg/ontology-browser
Old static HTML ontology browser with a few tweaks and bug fixes
alanruttenberg/orgpaper
Reproducible Research Papers using Org-mode and R: A Guide
alanruttenberg/paiprolog
forked Christophe Rhodes's PAIProlog that an update of Peter Norvig's "Prolog in Common Lisp".
alanruttenberg/pseudoscheme
Scheme to Common Lisp
alanruttenberg/purl.obolibrary.org
A new system for managing OBO PURLs
alanruttenberg/qbase64
Fast and flexible base64 encoder/decoder in Lisp
alanruttenberg/read-csv
read-csv is a lisp library for reading CSV (comma-separated value) files like the ones exported from Excel.
alanruttenberg/sql-form
A way to write sql as sexps
alanruttenberg/Unishox2-lisp
Compression for Unicode short strings
alanruttenberg/zpb-exif
Extract EXIF information from image files