倉庫

binghe 的倉庫

60 個支援的倉庫

只顯示包含已索引 issue 的倉庫
binghe/ANU-PublicTeX

Public files for my postdoc at ANU

最近提交 2024年10月26日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/Acrobat-ActionsC

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

最近提交 2024年12月23日

 (80 stars) (21 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/ColorToolsObjective-C

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

最近提交 2020年6月9日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/FBK-PublicBatchfile

Public files developed during my PhD study

最近提交 2024年10月30日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/FPGA-Programming-HandbookVHDL

The FPGA Programming Handbook Second Edition, for Digilent Genesys2

最近提交 2024年12月5日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/GBBopenHTML

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

最近提交 2016年9月26日

 (7 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/HOLStandard ML

Forked sources of HOL4 (no cv_compute, etc.)

最近提交 2026年5月18日

 (7 stars) (2 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/HOL-CCSTeX

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

最近提交 2019年12月21日

 (6 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/HOL-ProbabilityStandard ML

Measure, Lebesgue and Probability Theory for HOL4 (leftovers)

最近提交 2026年5月2日

 (1 star) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)
binghe/MCLCommon Lisp

Macintosh Common Lisp 6

最近提交 2018年11月22日

 (29 stars) (7 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/OPS5Common Lisp

OPS5 Production System

最近提交 2013年3月28日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/OSCARCommon Lisp

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

最近提交 2018年8月3日

 (14 stars) (2 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/PCLCommon Lisp

Portable CommonLoops for modern CL platforms (unfinished work)

最近提交 2016年10月27日

 (71 stars) (3 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/SWCLOSCommon Lisp

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

最近提交 2024年10月30日

 (0 stars) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)
binghe/Vitis-TutorialsC

Vitis In-Depth Tutorials

最近提交 2025年6月13日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/Vitis_IP_LibrariesC++

Vitis IP Libraries

最近提交 2025年11月21日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/Vitis_LibrariesC++

Vitis Libraries (2024.2)

最近提交 2025年4月2日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/abclCommon Lisp

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

最近提交 2016年10月24日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/antlr4ideJava

ANTLR 4 IDE for Eclipse

最近提交 2022年10月27日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
binghe/axiom-codePostScript

Axiom is a free, open source computer algebra system

最近提交 2024年4月11日

 (2 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)