欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU Common CPP Framework
GNU Common C++ is a portable and highly optimized class framework for writing C++ applications that need to use threads and support concurrent sychronization, and that use sockets, XML parsing, serialization, config files, thread-optimized String and data structure classes, etc. This framework offers a class foundation that hides platform differences from your C++ application so that you need not write platform specific code. GNU Common C++ has been ported to compile nativily on most platforms which support either posix threads, or on Microsoft Windows. GNU Common C++ can also be used to construct embedded applications as part of GNU Telephony Open Embedded.
http://wiki.gnutelephony.org/index.php/GNU_Common_CPP_Framework