欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Smart Common Input Method (SCIM) 是一个面向 Linux, FreeBSD , Unix 的输入法工具,支持30多种语言,包含中文输入法。
支持 GTK+ 和 Qt 两个跨平台UI库。