The Future of Formal Verification
Python · active 2026-03-19 → 2026-05-16 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 59 days from 2026-03-19 to 2026-05-16. Pushes: 21 total, peak 5 in a day. Pull requests: 9 total, peak 2 in a day. Issues: 256 total, peak 176 in a day. Comments: 7 total, peak 3 in a day. Stars: 299 total, peak 93 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| gauss-math-inc | 197 | 16 | 3 | 2 |
| hezpailes | 24 | 0 | 0 | 0 |
| xb865vadee | 17 | 0 | 0 | 0 |
| polandzev | 15 | 0 | 0 | 0 |
| wang9donich | 12 | 0 | 0 | 0 |
| anhosh10150 | 11 | 0 | 0 | 0 |
| kos208 | 4 | 2 | 0 | 2 |
| jesse-michael-han | 4 | 3 | 0 | 0 |
| phillipnyinomujini-star | 2 | 0 | 2 | 0 |
| Copilot | 1 | 0 | 0 | 1 |
| jsparson1 | 1 | 0 | 1 | 0 |
| staszewski | 1 | 0 | 1 | 0 |
| andrewboldi | 1 | 0 | 0 | 1 |
| yuxi-liu-wired | 1 | 0 | 1 | 0 |
| Rohit-Tiwari-14 | 1 | 0 | 1 | 0 |
| marcuschanhiulok-collab | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Pull request#446gauss-math-inc2026-04-05 04:18
- Pull request#441jsparson12026-04-01 03:50
- Pull request#438gauss-math-inc2026-03-29 00:27
- Issue comment#425gauss-math-inc2026-03-28 02:51feat(doctor): add managed workflow preflight checks
- Issue comment#8gauss-math-inc2026-03-28 01:52fix: add non-interactive flags to elan install to prevent hanging
- Pull request#434gauss-math-inc2026-03-28 01:35
- Pull request#428staszewski2026-03-26 02:43
- Issue#2gauss-math-inc2026-03-26 02:13[Setup]: gauss not available after script/install.sh success
- Issue#101gauss-math-inc2026-03-22 04:30minio之临时凭证及分享链接的生成和使用(代码篇)
- Issue#174gauss-math-inc2026-03-22 04:21php怎么做模糊匹配
- Issue#171gauss-math-inc2026-03-22 04:21如何正确转换日期格式
- Issue#170gauss-math-inc2026-03-22 04:21微信h5是否能获取用户手机号
- Issue#169gauss-math-inc2026-03-22 04:21为什么每次持久向量日志中都会有: Load pretrained SentenceTransformer: x
- Issue#163gauss-math-inc2026-03-22 04:21SRS使用https协议拉流失败，如何排查证书还是握手协议问题？
- Issue#162gauss-math-inc2026-03-22 04:21flutter如何监听路由变化？
- Issue#164gauss-math-inc2026-03-22 04:21是否有对应的三方库转码用于这样的对象数据的本地管理的
- Issue#153gauss-math-inc2026-03-22 04:21Git下载安装教程（超详细的安装过程）
- Issue#152gauss-math-inc2026-03-22 04:21C++与Qt图形开发
- Issue#150gauss-math-inc2026-03-22 04:21python项目中连接数据库详细版
- Issue#149gauss-math-inc2026-03-22 04:21Swagger配置及使用教程
- Issue#147gauss-math-inc2026-03-22 04:21轻松部署 Stable Diffusion WebUI 并实现局域网共享访问：解决 Conda Python 版本不为 3.10.6 的难题
- Issue#142gauss-math-inc2026-03-22 04:21Python 正则表达式全解析：基础到高效提取实战
- Issue#138gauss-math-inc2026-03-22 04:21算法实战入门第一篇：从复杂度分析到数组应用的第一步
- Issue#136gauss-math-inc2026-03-22 04:21Apache Flink 2.0介绍与部署（最新版本）
- Issue#130gauss-math-inc2026-03-22 04:21储能EMS物联平台+储能协调控制器解决方案
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 299 stars here means stars gained during the window, not the repo's star count.