欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Snakelets
Snakelets is a very simple-to-use Python web application server. It provides a threaded web server (you don't have to provide a web server such as Apache yourself), Ypages (Python HTML template language, similar to Java's JSPs) and Snakelets: code-centric page request handlers (similar to Java's Servlets). Snakelet's focus is to make the creation of dynamic web sites as quick and easy as possible. To get started it is enough to extract Snakelets somewhere, add a single directory that will contain your files, copy-paste-edit a small configuration file that describes your site, and you're set to add your own pages and images and other content!
http://snakelets.sourceforge.net/
Frog is a weblog system written for Snakelets