Repositórios

Repositórios de binghe

60 repositórios suportados

Mostrar repositórios com issues indexadas
binghe/ANU-PublicTeX

Public files for my postdoc at ANU

Último commit 26 de out. de 2024

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/Acrobat-ActionsC

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

Último commit 23 de dez. de 2024

 (80 stars) (21 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/ColorToolsObjective-C

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

Último commit 9 de jun. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/FBK-PublicBatchfile

Public files developed during my PhD study

Último commit 30 de out. de 2024

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/FPGA-Programming-HandbookVHDL

The FPGA Programming Handbook Second Edition, for Digilent Genesys2

Último commit 5 de dez. de 2024

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/GBBopenHTML

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

Último commit 26 de set. de 2016

 (7 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/HOLStandard ML

Forked sources of HOL4 (no cv_compute, etc.)

Último commit 18 de mai. de 2026

 (7 stars) (2 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/HOL-CCSTeX

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

Último commit 21 de dez. de 2019

 (6 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/HOL-ProbabilityStandard ML

Measure, Lebesgue and Probability Theory for HOL4 (leftovers)

Último commit 2 de mai. de 2026

 (1 star) (1 fork) (0 issues indexadas) (0 good first issues abertas)
binghe/MCLCommon Lisp

Macintosh Common Lisp 6

Último commit 22 de nov. de 2018

 (29 stars) (7 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/OPS5Common Lisp

OPS5 Production System

Último commit 28 de mar. de 2013

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/OSCARCommon Lisp

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

Último commit 3 de ago. de 2018

 (14 stars) (2 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/PCLCommon Lisp

Portable CommonLoops for modern CL platforms (unfinished work)

Último commit 27 de out. de 2016

 (71 stars) (3 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/SWCLOSCommon Lisp

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

Último commit 30 de out. de 2024

 (0 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)
binghe/Vitis-TutorialsC

Vitis In-Depth Tutorials

Último commit 13 de jun. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/Vitis_IP_LibrariesC++

Vitis IP Libraries

Último commit 21 de nov. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/Vitis_LibrariesC++

Vitis Libraries (2024.2)

Último commit 2 de abr. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/abclCommon Lisp

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

Último commit 24 de out. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/antlr4ideJava

ANTLR 4 IDE for Eclipse

Último commit 27 de out. de 2022

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
binghe/axiom-codePostScript

Axiom is a free, open source computer algebra system

Último commit 11 de abr. de 2024

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)