Skip to content
Pro
Block or report user

Report or block binghe

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@sharplispers @usocket
Block or report user

Report or block binghe

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Universal socket library for Common Lisp

    Common Lisp 109 29

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

    Common Lisp 9 2

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

    Makefile 110 7

  4. Actions, Custom Commands and Preflights for Acrobat® Pro

    C++ 20 6

  5. Forked from HOL-Theorem-Prover/HOL

    Forked sources for HOL4 theorem-proving system.

    Standard ML 2

  6. The new [0,+inf]-measure and probability theory for HOL4 (ongoing work)

    Standard ML 1

901 contributions in the last year

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

Contribution activity

August 2019

Created a pull request in HOL-Theorem-Prover/HOL that received 8 comments

Some supporting theorems of relation$BISIM

Hi, the recent bisimulation addition in relationTheory by @JamesShaker (#716) is very inspiring to me. In this PR, I further enriched it with the f…

+124 −202 8 comments

Created an issue in davidswelt/aquamacs-emacs that received 3 comments

Cannot run Aquamacs 3.5 on Mac OS X 10.11 (El Capitan)

Hi, I'm a long-term user of Aquamacs, currently using Mac OS X 10.11 (El Capitan). In your release notes of version 3.5 you said 10.11 is the oldes…

3 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.