binghe

pcl-cn

Practical Common Lisp (中英文对照版) - for Chinese only

informatica-public

Public code developed during my MSc study at University of Bologna

acrobat-actions

Actions, Commands and Plug-ins for Adobe® Acrobat® Pro

cl-net-snmp

Simple Network Management Protocol (SNMP) for Common Lisp

MCL

Macintosh Common Lisp 6

OSCAR

The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent

portable-threads

Portable threads API for Common Lisp (from GBBopen project)

fm-plugin-tools

A toolkit for FileMaker plug-in developments in Common Lisp

SWCLOS

OWL Full Processor on top of Common Lisp Object System (CLOS)

closette

Closette - a toy Common Lisp Object System (CLOS) described in The Art of the Metaobject Protocol (AMOP)

HOL

Forked sources for HOL4 theorem-proving system

HOL-CCS

Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)

lispworks-udp

UDP support for LispWorks

axiom-code

Axiom is a free, open source computer algebra system

cl-ipmi

Intelligent Platform Management Interface (IPMI) in Common Lisp (unfinished work)

opentheory

The opentheory tool processes higher order logic theory packages

ANU-Public

Public code developed during my PhD and postdoc study

gcl

GNU Common Lisp (GCL) - fork

HOL-Probability

Measure, Lebesgue and Probability Theory for HOL4 (leftovers)

bordeaux-threads

Portable shared-state concurrency for Common Lisp

cl-pdf

CL-PDF is a cross-platform Common Lisp library for generating PDF files.

cl-typesetting

clx

A fork of crhodes' fork of danb's fork of the CLX library, an X11 client for Common Lisp (for sending PRs only)

ColorTools

Tools for color management in Mac OS X and iOS, supporting Adobe Swatch Exchange and NSColorList formats

fxp

Validating XML parser library in Standard ML

hol-light

The HOL Light theorem prover

minisat-v1.14

MiniSat v1.14

ml-idl

open-axiom

Fork of OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations

polyml

Poly/ML