An implementation of semantic-type-guided bug finding
active 2023-08-15 → 2026-03-22 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 951 days from 2023-08-15 to 2026-03-22. Pushes: 1,043 total, peak 18 in a day. Pull requests: 3 total, peak 2 in a day. Issues: 11 total, peak 5 in a day. Comments: 3 total, peak 1 in a day. Stars: 2 total, peak 1 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 |
|---|---|---|---|---|
| brandonzstride | 823 | 805 | 2 | 3 |
| arbipher | 109 | 109 | 0 | 0 |
| Earl-Wu | 88 | 88 | 0 | 0 |
| zepalmer | 13 | 13 | 0 | 0 |
| scottfsmith | 8 | 8 | 0 | 0 |
| aiperibush | 7 | 7 | 0 | 0 |
| NavyaMehrotra1 | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#17brandonzstride2025-07-10 16:06Tests on shadowing, operator precedence
- Pull request#17NavyaMehrotra12025-07-07 12:06
- Issue#8brandonzstride2025-06-22 15:05Bluejay's `unit` type check passes on every value
- Issue#7brandonzstride2025-05-22 17:16Z3 modulus is not consistent with OCaml modulus
- Issue#12brandonzstride2025-05-22 17:16Solver timeout is unhandled
- Issue comment#13brandonzstride2025-05-01 00:08`singlet` and `Mu` do not work on higher kinded types.
- Issue comment#15brandonzstride2025-04-30 22:57Pull syntax highlighter
- Pull request#15brandonzstride2025-04-30 22:57
- Pull request#15brandonzstride2025-04-30 22:27
- Issue#14brandonzstride2025-04-30 21:42GADTs with actual type parameters need an intensional type
- Issue#13brandonzstride2025-04-30 21:26`singlet` and `Mu` do not work on higher kinded types.
- Issue#12brandonzstride2025-04-25 18:52Solver timeout is unhandled
- Issue#11brandonzstride2025-04-25 18:50Self-returning types check forever
- Issue#10brandonzstride2025-04-25 18:48Recursive computations passed to wrapped functions have exponential runtime
- Issue#9brandonzstride2025-04-25 18:36Generation of recursive parametric types may tend to not terminate
- Issue#8brandonzstride2025-04-25 18:14Bluejay's `unit` type check passes on every value
- Issue#1brandonzstride2024-09-06 15:02Singleton lookup stack check in Record Projection rule is incorrect
- Releasebrandonzstride2024-09-06 15:02oopsla-24 artifact
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 2 stars here means stars gained during the window, not the repo's star count.