欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
LMMS - 人人都是作曲家
LMMS(Linux MultiMedia Studio) 是一个开源(GPL)的数字音乐工作站。
它是个跨平台应用
项目
编辑器
乐器