欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Itools
来自开放百科 - 灰狐
itools is a Python library which provides a wide range of capabilities:
- itools.catalog
- itools.cms
- itools.csv
- itools.datatypes
- itools.gettext
- itools.handlers
- itools.html
- itools.i18n
- itools.ical
- itools.rss
- itools.schemas
- itools.stl
- itools.tmx
- itools.uri
- itools.vfs
- itools.web
- itools.workflow
- itools.xhtml
- itools.xliff
- itools.xml
分享您的观点