搜索结果

在本wiki上新建名为“Computer software”的页面！

• Formal verification
  Formal verification, Proof assistant, Theorem Prover, Software verification, Hardware verification ... *[https://github.com/SRI-CSL SRI International's Computer Science Laboratory] [https://github.com/SRI-CSL/yices2 Yices SMT Solver] [h
  20 KB（1,614个字） - 2023年8月3日 (四) 23:57
• LFE
  ... for those who want to build distributed applications. like the [[Erlang]] software that powers 40% of the world's telecommunications. Apache v2 License. *[https://github.com/cnbbooks/lfe-sicp 《Structure and Interpretation of Computer Programs》]The LFE Edition
  2 KB（210个字） - 2022年10月2日 (日) 04:22
• Lisp ecosystem
  *[https://ccrma.stanford.edu/software/snd/snd/s7.html s7] is a Scheme implementation *[https://github.com/ultralisp/ultralisp Ultralisp] The software behind a [https://ultralisp.org/ Ultralisp.org] Common Lisp repository
  15 KB（1,759个字） - 2023年3月4日 (六) 00:04
• Open Provable Foundation
  *[https://fm.csl.sri.com/SSFT14/SSFT14-1.pdf Software Verification with Satisfiability Modulo Theories（一）] [https://fm.csl. *[https://alt-ergo.ocamlpro.com/ Alt-Ergo] An SMT Solver For Software Verification
  7 KB（612个字） - 2023年8月4日 (五) 08:59
• 灰狐大脑
  *[[Computer vision|机器视觉]]和[[Machine translation|机器翻译]] *[[Computer graphics|计算机图形学]]、[[G3|游戏引擎]]、模型、模拟仿真
  10 KB（710个字） - 2023年3月24日 (五) 01:44
• Science
  Giving the Problem to a Computer（把问题交给计算机处理） *[https://github.com/INRIA/awesome-open-science-software Awesome Open Science Software]
  6 KB（389个字） - 2023年7月24日 (一) 00:47