An open-source, customizable intermediate logic textbook

A fresh implementation of Common Lisp

An Open Encyclopedia of Proof Systems

Learn Prolog Now LaTeX sources

Automatically exported from code.google.com/p/colore

Portable Standard Lisp

Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc

A place to collect work on dialectica categories.

The Glulx Runtime Instrumentation Project (GRIP) provides debugging tools for authors of interactive fiction (IF) by building on the capabilities of the Glulx virtual machine.

The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. * View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf. * …

Genifer - general inference engine, version 5

I've been thinking about belief, faith, works, law and receiving the Holy Spirit!

specifying type inference for functional language usning Prolog

my postgrad stuff (mostly archival now)

EL

The Inform5 compiler Unix package.

Collection of papers of mine in LaTeX format + rendered pdfs