开发者 xasm.sf.net

该项目的目的是开发编程语言其语义基于最小、强制性的数学机。