欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
模板:Category
来自开放百科 - 灰狐
(版本间的差异)
第10行: | 第10行: | ||
<!----------------------------------------------> | <!----------------------------------------------> | ||
|[[File:WireframeSketcher-48x48.gif|40px|center]] | |[[File:WireframeSketcher-48x48.gif|40px|center]] | ||
− | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[Language]] | + | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[Language]]、[[Development]]'''<br /> |
− | [[ | + | [[C]] - [[CPlusPlus|C++]] - [[Java]] - [[Python]] - [[PHP]] - [[Perl]] - [[Ruby]] - [[Lua]] - [[JRuby]] - [[Erlang]] - [[JavaScript]] - [[Scala]] - [[Lisp]] - [[Tcl]] - [[XML]] - [[HTML]] - [[SWIG]] - [[Vim]] - [[GNU Emacs|Emacs]] - [[Eclipse]] - [[NetBeans]] - [[Bluefish]] - [[Trac]] - [[Git]] - [[Subversion]] - [[Mercurial]] - [[Hudson]] - [[NotepadPlusPlus|Notepad++]] - [[DocBook]] |
− | [[ | + | |
− | [[ | + | |
<!----------------------------------------------> | <!----------------------------------------------> | ||
|- | |- |
2010年9月1日 (三) 08:53的版本
</div> </div>
分享您的观点