欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MODx
PHP Application Framework. Ajax CMS. SEO CMS.
Ajax CMS
MODx is 100% buzzword compliant, and makes child's play of building content managed sites with validating, accessible CSS layouts – hence Ajax CMS. It empowers its users to build engaging "Web 2.0" sites today, with its pre-integrated Scriptaculous and Prototype libraries. If you're a CSS designer or Ajax aficionado, this is the CMS for you; and if you like what you see today, you'll love what's coming.
SEO CMS
MODx helps you build sites that perform well in search engines – in fact, we think it's a great SEO CMS. Human readible URLs that Google loves is part of the reason, and allowing you to build tight, semantic XHTML/CSS also plays a role.