binghe Goto Github PK

abcl

Unoffical official git <https://github.com/easye/abcl> <--> svn <http://abcl.org/svn> Bridge

acrobat-actions

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

anu-public

Public code developed during my PhD and postdoc study

axiom-code

Axiom is a free, open source computer algebra system

bordeaux-threads

Portable shared-state concurrency for Common Lisp

cffi

The Common Foreign Function Interface

cl-ipmi

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

cl-net-snmp

Simple Network Management Protocol (SNMP) for Common Lisp

cl-net-snmp.web

HTML code for web site on common-lisp.net with release files

cl-pdf

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

cl-typesetting

clim2

The Common Lisp Interface Manager

closette

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

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

de.setf.atn-parser

an atn-based lr(*) parser

de.setf.wilbur

a fork of net.sourceforge.wilbur updated for mcl and sbcl

fm-plugin-tools

A toolkit for FileMaker plug-in developments in Common Lisp

gbbopen

GBBopen - Black Board System (mirror of official SVN repository)

gcl

GNU Common Lisp (GCL) - fork

hol

Forked sources for HOL4 theorem-proving system (for sending PRs)

hol-ccs

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

hol-light

The HOL Light theorem prover

hol-probability

Measure, Lebesgue and Probability Theory for HOL4 (experimental version)

informatica-public

Public code developed during my MSc study at University of Bologna

lisa

This is a fork of http://sourceforge.net/projects/lisa

lispworks-udp

UDP support for LispWorks

mcl

Macintosh Common Lisp 6

mcl-project-manager

An old project manager UI for Macintosh Common LISP 3.0 and the DEFSYSTEM build system

mcl-ui-lib

An old library of UI widgets for Macintosh Common LISP