欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

以下页面链接至PHP：

• PfSense ‎ (←链入页面)
• PacketFence ‎ (←链入页面)
• FrontAccounting ‎ (←链入页面)
• ZenTaoPHP ‎ (←链入页面)
• PEAR ‎ (←链入页面)
• FFmpegPHP ‎ (←链入页面)
• BOUML ‎ (←链入页面)
• Acceleo ‎ (←链入页面)
• Parrot ‎ (←链入页面)
• PHP/security ‎ (←链入页面)
• 灰狐教育 ‎ (←链入页面)
• TinyMVC ‎ (←链入页面)
• Memlink ‎ (←链入页面)
• HandlerSocket ‎ (←链入页面)
• PHP-GTK ‎ (←链入页面)
• PHP for Android ‎ (←链入页面)
• EasyPHP ‎ (←链入页面)
• PageCookery ‎ (←链入页面)
• CoreMVC ‎ (←链入页面)
• Indefero ‎ (←链入页面)
• Groogle ‎ (←链入页面)
• Php-handlersocket ‎ (←链入页面)
• Recess ‎ (←链入页面)
• TTtuangou ‎ (←链入页面)
• PhpVirtualBox ‎ (←链入页面)
• Huihoo Web Team ‎ (←链入页面)
• Haxe ‎ (←链入页面)
• MindTouch ‎ (←链入页面)
• Streeme ‎ (←链入页面)
• Adobe Flash Builder ‎ (←链入页面)
• KnowledgeTree ‎ (←链入页面)
• Kaltura ‎ (←链入页面)
• PHP-FPM ‎ (←链入页面)
• HTML5 WebSocket Canvas Game ‎ (←链入页面)
• Thinking In PHP Internal ‎ (←链入页面)
• Ace ‎ (←链入页面)
• Sina App Engine ‎ (←链入页面)
• Zotonic ‎ (←链入页面)
• Roundcube ‎ (←链入页面)
• Feng Office ‎ (←链入页面)
• Matomo ‎ (←链入页面)
• PhpMoAdmin ‎ (←链入页面)
• Easy APNS ‎ (←链入页面)
• E3 HR ‎ (←链入页面)
• HHVM ‎ (←链入页面)
• Dependency manager for php ‎ (←链入页面)
• Sismo ‎ (←链入页面)
• PHP/developer ‎ (←链入页面)
• Weixin ‎ (←链入页面)
• Facebook PHP SDK ‎ (←链入页面)