Pinned Loading

1. usocket/usocket usocket/usocket Public

   Universal socket library for Common Lisp

   Common Lisp 239 52

2. cl-net-snmp cl-net-snmp Public

   Simple Network Management Protocol (SNMP) for Common Lisp

   Common Lisp 25 2

3. Acrobat-Actions Acrobat-Actions Public

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

   C 79 21

4. fm-plugin-tools fm-plugin-tools Public

   A toolkit for FileMaker plug-in developments in Common Lisp

   Common Lisp 14 3

5. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Forked sources of HOL4 (no cv_compute, etc.)

   Standard ML 7 2

6. axiom-code axiom-code Public

   Forked from daly/axiom

   Axiom is a free, open source computer algebra system

   PostScript 2