欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Language templates”的页面!
- * A powerful Expression Language based on OGNL allowing dynamic object graph traversal and method execution7 KB(560个字) - 2010年9月27日 (一) 04:08
- *E-mail Templates *Mail Merge Templates11 KB(1,246个字) - 2014年11月24日 (一) 00:19
- http://www.phpbb.com/files/releases/language_packs/lang_chinese_simplified.zip mv lang_chinese_simplified /var/www/phpbb/language4 KB(328个字) - 2017年2月24日 (五) 09:46
- *<algorithm> -- (STL) for defining numerous templates that implement useful algorithms ...STL) for defining several templates that help construct predicates for the templates defined in <algorithm> and <numeric>18 KB(1,904个字) - 2022年8月26日 (五) 04:12
- ...Genshi. Conceptually, Mako is an embedded Python (i.e. Python Server Page) language, which refines the familiar ideas of componentized layout and inheritance t *[http://www.makotemplates.org/ Mako官网]765字节(101个字) - 2017年9月29日 (五) 02:24
- ...ples LaTeX Examples] [https://github.com/dustinvtran/latex-templates LaTeX templates] .../www.ctan.org/pkg/asymptote asymptote] 2D and 3D TeX-Aware Vector Graphics Language3 KB(352个字) - 2022年10月11日 (二) 05:30
- ...ten templates. You could say that autoconf [[compiler|compiles]] the [[m4 (language)|M4]] program in 'configure.ac' into a shell script.2 KB(284个字) - 2013年2月20日 (三) 01:08
- Document Template Markup Language (DTML) [[Zope Page Templates]] (ZPT)2 KB(258个字) - 2020年12月18日 (五) 15:08
- ...display items are driven by templates using the powerful Django templating language6 KB(877个字) - 2011年1月16日 (日) 05:47
- * A comprehensive model description language to specify how the object model is to map to a relational model, either pur * Generation of python code templates ready to be used12 KB(246个字) - 2007年2月5日 (一) 22:23
- *Customizable templates ... and numerous template tags, combined with standard HTML or another markup language, allow unparalleled customization of your site. You can use standard tools7 KB(1,063个字) - 2010年9月19日 (日) 16:06
- ClearSilver is a fast, powerful, and language-neutral template system. It is designed to make it easy to create template ...s you to easily mix-and-match multiple programming languages with the same templates, even on the same page. This allows you to optimize your website by writing4 KB(507个字) - 2010年12月1日 (三) 00:29
- PTL = Python Templating Language, [[Python]] 模版语言 To callers, templates behave like regular Python functions2 KB(264个字) - 2010年12月1日 (三) 00:24
- ...ClojureCLR] 基于 Microsoft Dynamic Language Runtime (DLR) 和.NET Common Language Runtime (CLR),[[C Sharp|C#]] 和 Clojure 编写。 *[https://clojars.org/search?q=lein-template Third-party templates]14 KB(1,511个字) - 2023年4月19日 (三) 07:55
- -Simple Screens: 226 screens, 690 forms, and 23 document templates ...[Kotlin]],带来 [[Gradle]] + Kotlin 的强力组合、[[Domain-specific language|DSL]]、灵活性和生产力。8 KB(807个字) - 2021年6月26日 (六) 14:16
- *Specifying our default language *Language and Timezone15 KB(2,030个字) - 2017年8月30日 (三) 02:44
- *[http://www.sigplan.org/ ACM Special Interest Group on Programming Languages (SIGPLAN)] *[https://github.com/lk-geimfari/awesomo/blob/master/languages/HASKELL.md A.W.E.S.O.M. O Haskell]37 KB(4,161个字) - 2023年3月26日 (日) 08:11
- *6. Adopt the new paradigm to gain the advantages of a new language. 采用新的范式,以获得新语言的优势。3 KB(266个字) - 2022年10月16日 (日) 13:04
分享您的观点