社区
教程
Wiki
注册
登录
创作新主题
社区所有版块导航
Python
python开源
Django
Python
DjangoApp
pycharm
DATA
docker
Elasticsearch
分享
问与答
闲聊
招聘
翻译
创业
分享发现
分享创造
求职
区块链
支付之战
aigc
aigc
chatgpt
WEB开发
linux
MongoDB
Redis
DATABASE
NGINX
其他Web框架
web工具
zookeeper
tornado
NoSql
Bootstrap
js
peewee
Git
bottle
IE
MQ
Jquery
机器学习
机器学习算法
Python88.com
反馈
公告
社区推广
产品
短视频
印度
印度
一周十大热门主题
Rust版本的DeepSeek-OCR来了，告别python原版的繁琐配置
机器学习学术速递[10.27]
10亿下载量的老牌开源软件官宣：停发免费 Docker 镜像，想用自己建！
机器学习学术速递[10.28]
“我们免费不起了！”10亿下载量的开源软件官宣：Docker不伺候了，想用自己搭！
发现了 2 个贼火开源 MCP， GitHub 上 1 万多 Star。
机器学习学术速递[10.31]
年化476%，回撤6.61，从bt切换到backtrader引擎，附python代码
Python其实真的很水，背完这64页你就牛了
黑马王炸上新！《神经网络与深度学习》教程发布！
关注
Py学习
»
Git
GitHub(微博搜索)-20230731-1
GitHub(微博搜索)
• 2 年前 • 251 次点击
本条微博地址
网路冷眼
【Simple Verification of Rust Programs via Functional Purification】
网页链接
通过功能纯化简单验证 Rust 程序。
搜索微博更多关键词-GitHub
Python社区是高质量的Python/Django开发社区
本文地址：
http://www.python88.com/topic/159186
登录后回复
