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