Mathematical Proof Language Compiler
active 2025-07-31 → 2025-10-17 (UTC)
Partial coverage11,381 / 12,290 hourly files (93%) · 2 absent upstream · 906 failed, retryable2025-03-16 → 2026-08-10 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
40
Pushes
4
Pull requests
4
Issues
16
Stars
0
Forks
2
Activity over time
Daily event counts in the loaded window
Line chart, 79 days from 2025-07-31 to 2025-10-17. Pushes: 4 total, peak 1 in a day. Pull requests: 4 total, peak 1 in a day. Issues: 16 total, peak 8 in a day. Comments: 13 total, peak 3 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| debjit-1004 | 19 | 4 | 2 | 1 |
| AvaneeshKesavan | 6 | 0 | 1 | 5 |
| FireFistisDead | 4 | 0 | 1 | 3 |
| janvis11 | 2 | 0 | 0 | 2 |
| Adez017 | 1 | 0 | 0 | 0 |
| akssssO | 1 | 0 | 0 | 1 |
| NidhiKumari2510 | 1 | 0 | 0 | 0 |
| Durgeshwar-AI | 1 | 0 | 0 | 0 |
| Diksha78-bot | 1 | 0 | 0 | 1 |
| DivyaJain-DataAnalyst | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#4janvis112025-10-17 04:48Logging: Re-enable Logger and add --log-level/--log-file sanity tests
- Issue comment#8janvis112025-10-17 04:47Docs: Language subset (MVP) + Developer quickstart
- Issue#26DivyaJain-DataAnalyst2025-10-08 04:33Update Readme
- Issue comment#10Diksha78-bot2025-10-07 08:15Repo hygiene: Add ISSUE_TEMPLATEs, PULL_REQUEST_TEMPLATE, and CODEOWNERS
- Issue comment#23AvaneeshKesavan2025-09-23 03:20Add Clang-Format Enforcement in CI
- Issue comment#22AvaneeshKesavan2025-09-20 13:05Add GitHub Actions workflow for CMake Debug build and ctest on Ubuntu
- Issue comment#23AvaneeshKesavan2025-09-20 13:05Add Clang-Format Enforcement in CI
- Issue#25Adez0172025-09-12 05:05Add Template for Issues
- Issue#11debjit-10042025-09-10 21:09CI: Add clang-format check and a repo-wide format pass
- Pull request#23debjit-10042025-09-10 21:09
- Pull request#23AvaneeshKesavan2025-09-07 12:31
- Issue comment#11AvaneeshKesavan2025-08-31 06:01CI: Add clang-format check and a repo-wide format pass
- Issue comment#16AvaneeshKesavan2025-08-31 05:56CI: Add GitHub Actions workflow (CMake build + ctest) for Linux
- Issue comment#16akssssO2025-08-30 06:46CI: Add GitHub Actions workflow (CMake build + ctest) for Linux
- Issue#20Durgeshwar-AI2025-08-27 15:16Parser creation
- Issue#18debjit-10042025-08-26 19:46Tests: Add lexer golden tests for ASCII and error cases
- Pull request#19debjit-10042025-08-26 19:46
- Issue comment#19FireFistisDead2025-08-23 09:35made the suitable changes
- Pull request#19FireFistisDead2025-08-23 09:34
- Issue comment#18FireFistisDead2025-08-19 19:26Tests: Add lexer golden tests for ASCII and error cases
- Issue comment#18debjit-10042025-08-19 19:20Tests: Add lexer golden tests for ASCII and error cases
- Issue comment#18FireFistisDead2025-08-19 19:09Tests: Add lexer golden tests for ASCII and error cases
- Issue#18debjit-10042025-08-12 17:17Tests: Add lexer golden tests for ASCII and error cases
- Issue#17debjit-10042025-08-12 17:17Build: Add CMake options for AddressSanitizer/UBSan (+ docs)
- Issue#13debjit-10042025-08-12 07:18Static analysis: Add clang-tidy config and CI job
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.