用户名 mikesea
Date joined 最新发布时间： 2024-05-09 17:45:31
代码Tracking
追踪了 852 行代码问题, 提交到 50 个开源模块包中。
简介
欢迎加入QQ群-->： 979659372
其它
Libraries用户名: Mike Chlipala
所在公司：
目前所在地：San Francisco, CA
推荐项目
- python-numa
- PyWGE
- lyn
- speed-stack
- scrapy-slackbot
- utmp
- django-mav
- yandex-translater
- DirTreeDigest
- django-fancytree
- deep-confusables
- djangodeletes
- django-autorest
- odoo11-addon-account-invoice-start-end-dates
- tk-html-widgets
- pycopy-timeit
- odoo12-addon-excel-import-export-demo
- wikipedia-downloader
- odoo8-addon-account-move-batch-validate
- itm
- pwtools
- PyShEx
- endi-payment
- odoo9-addon-l10n-eu-nace
- Flask-fluentd
- torrentutils
- OAIPMHScraper
- volatility-profile-builder
- easyshop.shipping
- pycopy-itertools
- drf-signed-auth
- deduplication
- sina-shorturl
- testkraut
- pymiaopai
- daemonctl
- tele-scope
- cenp
- tbas-p
- lrgs
- py-crypto-params
- django-cache-fn
- dpython
- backports.pdb
- python-jose-cryptodome
- odoo12-addon-crm-lead-vat
- primed-avro
- j1939
- aniffinit
- trane
