欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Python Modules
Global Module Index - http://docs.python.org/modindex.html
Core Modules
__builtin__
__builtin__ -- Built-in objects
exceptions
Built-in Exceptions
os
os -- Miscellaneous operating system interfaces
os.path
os.path -- Common pathname manipulations
stat
stat -- Interpreting stat() results
string
string -- Common string operations
re
re -- Regular expression operations
math
math -- Mathematical functions
cmath
cmath -- Mathematical functions for complex numbers
operator
operator -- Standard operators as functions.
copy
copy -- Shallow and deep copy operations
sys
sys -- System-specific parameters and functions
atexit
atexit -- Exit handlers
time
time -- Time access and conversions
types
types -- Names for built-in types
gc
gc -- Garbage Collector interface
More Standard Modules
fileinput
fileinput -- Iterate over lines from multiple input streams
shutil
shutil -- High-level file operations
tempfile
tempfile -- Generate temporary files and directories
StringIO
StringIO -- Read and write strings as files
cStringIO
cStringIO -- Faster version of StringIO
mmap
mmap -- Memory-mapped file support
UserDict
UserDict -- Class wrapper for dictionary objects
UserList
UserList -- Class wrapper for list objects
UserString
UserString -- Class wrapper for string objects
traceback
traceback -- Print or retrieve a stack traceback
errno
errno -- Standard errno system symbols
getopt
getopt -- Parser for command line options
getpass
getpass -- Portable password input
glob
glob -- Unix style pathname pattern expansion
fnmatch
fnmatch -- Unix filename pattern matching
random
random -- Generate pseudo-random numbers
whrandom
md5
md5 -- MD5 message digest algorithm
sha
sha -- SHA-1 message digest algorithm
crypt
crypt -- Function to check Unix passwords
rotor
zlib
zlib -- Compression compatible with gzip
code
code -- Interpreter base classes