Repositories

binghe Repositories

60 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
binghe/ANU-PublicTeX

Public files for my postdoc at ANU

Letzter Commit 26. Okt. 2024

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/Acrobat-ActionsC

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

Letzter Commit 23. Dez. 2024

 (80 Stars) (21 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/ColorToolsObjective-C

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

Letzter Commit 9. Juni 2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/FBK-PublicBatchfile

Public files developed during my PhD study

Letzter Commit 30. Okt. 2024

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/FPGA-Programming-HandbookVHDL

The FPGA Programming Handbook Second Edition, for Digilent Genesys2

Letzter Commit 5. Dez. 2024

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/GBBopenHTML

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

Letzter Commit 26. Sept. 2016

 (7 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/HOLStandard ML

Forked sources of HOL4 (no cv_compute, etc.)

Letzter Commit 18. Mai 2026

 (7 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/HOL-CCSTeX

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

Letzter Commit 21. Dez. 2019

 (6 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/HOL-ProbabilityStandard ML

Measure, Lebesgue and Probability Theory for HOL4 (leftovers)

Letzter Commit 2. Mai 2026

 (1 Star) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
binghe/MCLCommon Lisp

Macintosh Common Lisp 6

Letzter Commit 22. Nov. 2018

 (29 Stars) (7 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/OPS5Common Lisp

OPS5 Production System

Letzter Commit 28. März 2013

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/OSCARCommon Lisp

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

Letzter Commit 3. Aug. 2018

 (14 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/PCLCommon Lisp

Portable CommonLoops for modern CL platforms (unfinished work)

Letzter Commit 27. Okt. 2016

 (71 Stars) (3 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/SWCLOSCommon Lisp

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

Letzter Commit 30. Okt. 2024

 (0 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
binghe/Vitis-TutorialsC

Vitis In-Depth Tutorials

Letzter Commit 13. Juni 2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/Vitis_IP_LibrariesC++

Vitis IP Libraries

Letzter Commit 21. Nov. 2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/Vitis_LibrariesC++

Vitis Libraries (2024.2)

Letzter Commit 2. Apr. 2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/abclCommon Lisp

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

Letzter Commit 24. Okt. 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/antlr4ideJava

ANTLR 4 IDE for Eclipse

Letzter Commit 27. Okt. 2022

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
binghe/axiom-codePostScript

Axiom is a free, open source computer algebra system

Letzter Commit 11. Apr. 2024

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)