Church encodings written in Python
An API to find movies that are playing in the San Francisco area.
An interface/protocol that provides inter-application communication and scripting.
A powerful note-taking format with a web viewer/editor.
A Python bytecode compiler and bytecode generator.
A highly customizable sokoban implementation using Python's tkinter.