A neurosymbolic framework for vulnerability detection in code (Rust variant)
active 2025-03-08 → 2026-06-18 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 468 days from 2025-03-08 to 2026-06-18. Pushes: 120 total, peak 18 in a day. Pull requests: 28 total, peak 4 in a day. Issues: 19 total, peak 3 in a day. Comments: 20 total, peak 4 in a day. Stars: 155 total, peak 5 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 |
|---|---|---|---|---|
| IcebladeLabs | 128 | 106 | 14 | 2 |
| saikatG | 27 | 1 | 1 | 9 |
| clairew | 21 | 4 | 5 | 3 |
| deringezgin | 12 | 8 | 2 | 2 |
| Celebrate-future | 5 | 0 | 0 | 3 |
| charlie-coder915 | 4 | 0 | 0 | 0 |
| mayurnaik | 3 | 0 | 2 | 0 |
| komorogrov | 3 | 0 | 0 | 1 |
| Liby99 | 2 | 1 | 1 | 0 |
| nevenas-mit | 2 | 0 | 2 | 0 |
| yvzha0 | 1 | 0 | 0 | 0 |
| ceenaa | 1 | 0 | 0 | 0 |
| shoucheng3 | 1 | 0 | 0 | 0 |
| backstraw | 1 | 0 | 1 | 0 |
| kevinXueForHack | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#77IcebladeLabs2026-04-19 23:49
- Issue#75IcebladeLabs2026-03-13 02:16F1 score and other index
- Issue comment#74saikatG2026-02-02 17:05cwe-queries for new cwe?
- Issue#73charlie-coder9152025-12-29 13:44Thank you so much
- Issue comment#72IcebladeLabs2025-12-26 21:39Several questions regarding the experimental process, result verification, and the use of the output folder
- Issue#72charlie-coder9152025-12-25 08:30Several questions regarding the experimental process, result verification, and the use of the output folder
- Issue#71charlie-coder9152025-12-25 08:25Several questions regarding the experimental process, result verification, and the use of the output folder
- Issue#71charlie-coder9152025-12-25 08:18Several questions regarding the experimental process, result verification, and the use of the output folder
- Pull request#65nevenas-mit2025-12-05 02:59
- Issue comment#70deringezgin2025-12-02 21:47regarding quickstart and cwe-bench
- Pull request#66deringezgin2025-11-24 00:30
- Pull request#64IcebladeLabs2025-10-04 22:00
- Issue#62IcebladeLabs2025-09-28 01:51How to use "cwe-022wCodeQL" in queries. py?
- Issue comment#62IcebladeLabs2025-09-28 01:51How to use "cwe-022wCodeQL" in queries. py?
- Pull request#63IcebladeLabs2025-09-24 23:15
- Issue#62yvzha02025-09-09 06:17How to use "cwe-022wCodeQL" in queries. py?
- Pull request#61saikatG2025-08-30 22:23
- Pull request#61nevenas-mit2025-08-24 21:12
- Issue#60komorogrov2025-08-09 02:26Can Iris access the LLM through the API for analysis instead of running the LLM locally?
- Issue comment#60saikatG2025-08-05 04:17Can Iris access the LLM through the API for analysis instead of running the LLM locally?
- Issue#60komorogrov2025-08-05 00:04Can Iris access the LLM through the API for analysis instead of running the LLM locally?
- Issue comment#60komorogrov2025-08-05 00:04Can Iris access the LLM through the API for analysis instead of running the LLM locally?
- Issue#55saikatG2025-08-04 19:53CodeQL alerts or other models labels
- Pull request#57IcebladeLabs2025-08-01 19:25
- Pull request#59IcebladeLabs2025-07-30 01:28
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 155 stars here means stars gained during the window, not the repo's star count.