The Wayback Machine - https://web.archive.org/web/20201112013747/https://github.com/binghe
Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@sharplispers @usocket

Pinned

  1. Universal socket library for Common Lisp

    Common Lisp 136 33

  2. Simple Network Management Protocol (SNMP) suite for Common Lisp

    Common Lisp 17 3

  3. Portable threads API for Common Lisp (from GBBopen project)

    Common Lisp 13 4

  4. Custom Commands and Actions for Adobe Acrobat

    JavaScript 37 9

  5. Forked from HOL-Theorem-Prover/HOL

    Forked sources for HOL4 theorem-proving system.

    Standard ML 5

  6. Public code developed during my PhD study at FBK/University of Trento

    Batchfile

378 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

November 2020

4 contributions in private repositories Nov 9 – Nov 10
You can’t perform that action at this time.