社区
教程
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
反馈
公告
社区推广
产品
短视频
印度
印度
一周十大热门主题
20天2万star，GitHub爆火的人生指南完整版，速存！
狠狠收藏这个 2 万 Star 的 GitHub 项目，堪称高性价比人生指南。
仅仅5MB，CEO 写的磁盘清理工具在 Github 上火了。
发明Linux、Python、Redis、Nginx、SQLite的人，是天才，还是时代宠儿？
一周就收割 2 万 Star，这个 GitHub 项目把近期爆火的 Jev 模型开源了。
100道Python经典练习题！附代码解析
项目从 MySQL 切换 PostgreSQL，踩了太多的坑！！！
TennoVip 2026西安线下访谈：Fred、Kiai和Digital Extremes最开始的
刚刚，OpenAI神秘「o」代码曝光！ChatGPT要变24小时员工
仅 9MB，这个平替 Photoshop 的开源神器，在 GitHub 上火了
关注
Py学习
»
Git
GitHub(微博搜索)-20220531-1
GitHub(微博搜索)
• 4 年前 • 362 次点击
本条微博地址
网路冷眼
【Make formal verification and provably correct software practical and mainstream】
网页链接
使形式验证和可证明正确的软件实用化和主流化。
搜索微博更多关键词-GitHub
Python社区是高质量的Python/Django开发社区
本文地址：
http://www.python88.com/topic/135197
登录后回复
