欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Boto
来自开放百科 - 灰狐
Boto: Python interface to Amazon Web Services
An integrated interface to current and future infrastructural services offered by Amazon Web Services. Currently, this includes:
- Simple Storage Service (S3)
- Simple Queue Service (SQS)
- Elastic Compute Cloud (EC2)
- Mechanical Turk
Links
分享您的观点
