欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open64是一套以 GPL 许可协议发行的编译器。Open64 支持的语言包括C语言、C++及Fortran;而支持的操作系统包括Linux及类Unix系统;Open64支持的处理器架构包括IA-32(x86)与x86-64、IA-64、龙芯 (MIPS)及PowerPC。
<discussion>characters_max=300</discussion>