欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Guile programming language”的页面!
- **[[GNU Classpath|Classpath]] – libraries for [[Java programming language|Java]] ...ibrary]] – [[C standard library|Standard]] [[POSIX]] [[C programming language|C]] [[library (computer science)|library]], plus additional functionality7 KB(736个字) - 2022年4月7日 (四) 11:30
- GNU Guile [[文件:GNU-Guile.png|right]]1 KB(116个字) - 2023年6月20日 (二) 03:11
- ...shared library that can be linked to other programs compiled in the target language (for example, using [[Java Native Interface|JNI]]). There are two main purposes of embedding a [[Scripting language|scripting engine]] into an existing C/C++ program:3 KB(488个字) - 2015年2月28日 (六) 06:18
- {{SeeWikipedia|Scheme (programming language)}} [[文件:GNU-Guile.png|right|GNU Guile]]4 KB(506个字) - 2022年10月7日 (五) 03:01
- ...nce|人工智能]]/[[Computational linguistics|计算语言学]]/[[Natural language processing|NLP]]/[[Machine translation|机器翻译]]、数论/椭圆曲线 [[Compiler]], [[Formal language]], [[Formal mathematics]] and [[Formal verification]].15 KB(902个字) - 2023年12月28日 (四) 01:28
- Huihoo love [[c programming language|C]]/[[C++]], [[Fortran]], [[Lisp]], [[Erlang]]/[[LFE]]/[[aeternity]], [[Has [[Formal verification]] [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]] [[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png19 KB(1,177个字) - 2023年3月26日 (日) 03:33
- *[[Carp]] language *[https://cac-t-u-s.github.io/ OM# – Visual Programming | Computer-assisted Music Composition] derived from OpenMusic, based on [[C6 KB(726个字) - 2022年10月2日 (日) 00:34
- ... (pronounced "moon") develops the open source [https://glow-lang.org/ Glow language] for smart contracts on [[blockchain]]s. The compiler and support libraries *[https://github.com/dbohdan/embedded-scripting-languages Embedded scripting languages]15 KB(1,759个字) - 2023年3月4日 (六) 00:04
分享您的观点