欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Spritely 是 jQuery 的一个插件,为网页创建一个动画的背景,非常酷。我们也将制作灰狐快跑的动画效果。
http://www.spritely.net/