欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ZXing是一个解析多种格式的1D/2D条形码的开源Java类库,其目标是能够对QR编码、Data Matrix、UPC的1D条形码进行解码。 并支持多种平台下的客户端:Java ME、Java 和 Android。