Pinned Loading

1. usocket/usocket usocket/usocket Public

   Universal socket library for Common Lisp

   Common Lisp 246 58

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

   Simple Network Management Protocol (SNMP) for Common Lisp

   Common Lisp 26 2

3. Acrobat-Actions Acrobat-Actions Public

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

   C 84 21

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

   A toolkit for FileMaker plug-in developments in Common Lisp

   Common Lisp 15 5

5. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Forked sources of HOL4 (no cv_compute, etc.)

   Standard ML 7 2

6. polyml polyml Public

   Forked from polyml/polyml

   Forked sources of Poly/ML

   Standard ML