binghe

Common Lisp programmer and HOL proof engineer

Australian National UniversityCanberra, Australia

Pinned Repositories

Acrobat-Actions
Actions, Commands and Plug-ins for Adobe® Acrobat® Pro
Language:C75 6 121
axiom-code
Axiom is a free, open source computer algebra system
Language:PostScript2 2 80
cl-net-snmp
Simple Network Management Protocol (SNMP) for Common Lisp
Language:Common Lisp25 8 22
fm-plugin-tools
A toolkit for FileMaker plug-in developments in Common Lisp
Language:Common Lisp13 3 23
HOL
Forked sources of HOL4 (no cv_compute, etc.)
Language:Standard ML7 5 02
informatica-public
Public code developed during my MSc study at University of Bologna
Language:Standard ML76 19 07
MCL
Macintosh Common Lisp 6
Language:Common Lisp23 3 25
PCL
Portable CommonLoops for modern CL platforms (unfinished work)
Language:Common Lisp71 13 03
pcl-cn
Practical Common Lisp (中英文对照版) - for Chinese only
Language:Makefile183 21 118
usocket
Universal socket library for Common Lisp
Language:Common Lisp236 12 8252

binghe's Repositories

binghe/pcl-cn
Practical Common Lisp (中英文对照版) - for Chinese only
Language:Makefile183 21 118
binghe/informatica-public
Public code developed during my MSc study at University of Bologna
Language:Standard ML76 19 07
binghe/Acrobat-Actions
Actions, Commands and Plug-ins for Adobe® Acrobat® Pro
Language:C75 6 121
binghe/MCL
Macintosh Common Lisp 6
Language:Common Lisp23 3 25
binghe/OSCAR
The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
Language:Common Lisp14 7 12
binghe/fm-plugin-tools
A toolkit for FileMaker plug-in developments in Common Lisp
Language:Common Lisp13 3 23
binghe/portable-threads
Portable threads API for Common Lisp (from GBBopen project)
Language:Common Lisp13 7 43
binghe/HOL
Forked sources of HOL4 (no cv_compute, etc.)
Language:Standard ML7 5 02
binghe/HOL-CCS
Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
Language:TeX6 3 45
binghe/axiom-code
Axiom is a free, open source computer algebra system
Language:PostScript2 2 80
binghe/opentheory
The opentheory tool processes higher order logic theory packages
Language:Standard ML2 2 0
binghe/antlr4ide
ANTLR 4 IDE for Eclipse
Language:Java1 0 0
binghe/cl-pdf
CL-PDF is a cross-platform Common Lisp library for generating PDF files.
Language:Common Lisp1 2 01
binghe/FBK-Public
Public files developed during my PhD study
Language:Batchfile1 3 00
binghe/gcl
Forked sources of GNU Common Lisp
Language:Common Lisp1 1 0
binghe/HOL-Probability
Measure, Lebesgue and Probability Theory for HOL4 (leftovers)
Language:Standard ML1 3 01
binghe/ANU-Public
Public files for my postdoc at ANU
Language:TeX0 1 00
binghe/bordeaux-threads
Portable shared-state concurrency for Common Lisp
Language:Common Lisp2 0
binghe/cbpv-reasonable-HOL
binghe/cl-typesetting
Language:Common Lisp2 0
binghe/ColorTools
Tools for color management in Mac OS X and iOS, supporting Adobe Swatch Exchange and NSColorList formats
Language:Objective-C3 0
binghe/FPGA-Programming-Handbook
Forked Repository for The FPGA Programming Handbook Second Edition, for Digilent Genesys 2
Language:VHDL0 0
binghe/fxp
Validating XML parser library in Standard ML
Language:Standard ML0 0
binghe/macports-ports
The MacPorts ports tree
Language:Tcl
binghe/minisat-v1.14
MiniSat v1.14
Language:C++2 0
binghe/ml-idl
Language:Standard ML3 0
binghe/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Language:Standard ML0 0
binghe/open-axiom
Fork of OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
Language:PostScript2 0
binghe/polyml
Forked sources of Poly/ML
Language:Standard ML0 0
binghe/vivado-risc-v
Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro
Language:Tcl0 0