Organize computations through introspection of function argument names
十分钟魔法练习 Python 版
Python bindings for the Coq interactive proof assistant
Research project on scheduling array primitives
GraphBLAS for Python
LISP inspired functional programming concepts for Python
A minimalist / functional / dataflow programming language
A simple scheme interpreter in Python