Repositories

binghe repositories

60 supported repositories

Show repositories with indexed issues
binghe/ANU-PublicTeX

Public files for my postdoc at ANU

Last commit Oct 26, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/Acrobat-ActionsC

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

Last commit Dec 23, 2024

 (80 stars) (21 forks) (0 indexed issues) (0 open good first issues)
binghe/ColorToolsObjective-C

Tools for color management in Mac OS X and iOS, supporting Adobe Swatch Exchange and NSColorList formats

Last commit Jun 9, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/FBK-PublicBatchfile

Public files developed during my PhD study

Last commit Oct 30, 2024

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/FPGA-Programming-HandbookVHDL

The FPGA Programming Handbook Second Edition, for Digilent Genesys2

Last commit Dec 5, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/GBBopenHTML

GBBopen - Black Board System (mirror of official SVN repository)

Last commit Sep 26, 2016

 (7 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/HOLStandard ML

Forked sources of HOL4 (no cv_compute, etc.)

Last commit May 18, 2026

 (7 stars) (2 forks) (0 indexed issues) (0 open good first issues)
binghe/HOL-CCSTeX

Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)

Last commit Dec 21, 2019

 (6 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/HOL-ProbabilityStandard ML

Measure, Lebesgue and Probability Theory for HOL4 (leftovers)

Last commit May 2, 2026

 (1 star) (1 fork) (0 indexed issues) (0 open good first issues)
binghe/MCLCommon Lisp

Macintosh Common Lisp 6

Last commit Nov 22, 2018

 (29 stars) (7 forks) (0 indexed issues) (0 open good first issues)
binghe/OPS5Common Lisp

OPS5 Production System

Last commit Mar 28, 2013

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/OSCARCommon Lisp

The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent

Last commit Aug 3, 2018

 (14 stars) (2 forks) (0 indexed issues) (0 open good first issues)
binghe/PCLCommon Lisp

Portable CommonLoops for modern CL platforms (unfinished work)

Last commit Oct 27, 2016

 (71 stars) (3 forks) (0 indexed issues) (0 open good first issues)
binghe/SWCLOSCommon Lisp

Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS)

Last commit Oct 30, 2024

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
binghe/Vitis-TutorialsC

Vitis In-Depth Tutorials

Last commit Jun 13, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/Vitis_IP_LibrariesC++

Vitis IP Libraries

Last commit Nov 21, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/Vitis_LibrariesC++

Vitis Libraries (2024.2)

Last commit Apr 2, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/abclCommon Lisp

Unoffical official git <https://github.com/easye/abcl> <--> svn <http://abcl.org/svn> Bridge

Last commit Oct 24, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/antlr4ideJava

ANTLR 4 IDE for Eclipse

Last commit Oct 27, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
binghe/axiom-codePostScript

Axiom is a free, open source computer algebra system

Last commit Apr 11, 2024

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)