欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
TuxPhone
来自开放百科 - 灰狐
TuxPhone is a project to develop open source (hardware and software) GSM/GPRS cellphone. Our objective is to create an open (in every sense of the word) cellphone platform that is convenient for creating novel applications. For instance, someone could take this reference design and integrate it with a small RFID reader to create a RFID enabled cellphone. Or, for that matter someone come up with a software that finds the cheapest way to make a phone call based on the available connectivity - VOIP or GSM.
Links
分享您的观点