欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
长页面
下面显示从第1条结果开始的20条结果。
查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)
- (历史) What is Web 2.0 [69,749字节]
- (历史) FreeBSD 7-STABLE amd64 job record [51,871字节]
- (历史) Google [46,474字节]
- (历史) Haskell ecosystem [37,678字节]
- (历史) Huihoo [31,125字节]
- (历史) GNU GPL v3 [30,430字节]
- (历史) PostgreSQL [29,550字节]
- (历史) Anna's Mambo Tips [28,687字节]
- (历史) GNU LGPL v2.1 [24,386字节]
- (历史) Enterprise Open Source Choice Guide [23,219字节]
- (历史) Java [23,162字节]
- (历史) Odoo [22,843字节]
- (历史) Eclipse [22,085字节]
- (历史) GNU FDL v1.3 [21,990字节]
- (历史) HDFS [21,881字节]
- (历史) Wesnoth Units Human Loyalists [21,873字节]
- (历史) SOA [20,838字节]
- (历史) Create Sample Mambo Compoent [20,807字节]
- (历史) Formal verification [20,488字节]
- (历史) Wesnoth Units Drakes [20,393字节]
分享您的观点