欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ErLLVM——面向HiPE的LLVM后端
High Performance Erlang（HiPE）是面向Erlang的一个高性能原生代码编译器，而ErLLVM项目就是为了给HiPE提供多后端支持而设计的。ErLLVM使用了LLVM基础架构。
HiPE编译器
