欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
FMA
来自开放百科 - 灰狐
floAt's Mobile Agent(FMA) is a SMS Manager, Mobile Phone Monitor, Remote Control Agent, Phonebook Manager, Organizer, Fun and much more; whatever you want it to be, it is whatever a mobile phone should have :-) (Currently based on Sony Ericsson features set).
Programming Languages: Delphi/Kylix, VBScript
License: GNU General Public License (GPL)
Links
分享您的观点
