Loading player card
Not on DevTrack yet
@kyal102
Jarvi3.com
Founder of EcoKure PtyLtd Building JARVI3 / DTL verification systems: AI proposes, gates verify, evidence records, replay checks drift. MedGate + Packages Labs.
On GitHub since April 2026View on GitHub
- Est. rank
- ~#5
- Streak
- 128D
- Level
- 10
Platinum
LV 102,980 XP · 183 to LV 11
This page is generated automatically from @kyal102's public GitHub activity. It is not run, verified or endorsed by @kyal102 or by GitHub, and DevTrack never asks for a GitHub password.
Unclaimed profile
Would rank #5 of 12 globally
If you are @kyal102, sign in with GitHub as @kyal102 to claim it: join the leaderboard, keep your 2,980 XP and tier, count private contributions, and get README badges. Only the owner of the GitHub account can claim it.
Contributions (1y)
919
Current streak
128days
Longest streak (1y)
128days
Active days (1y)
133
Commits (all time)
254
Pull requests
11
Code reviews
0
Followers
3,555
919 contributions in the last year
Top repositories
- chipgate
Deterministic structural sanity checker for Verilog RTL — undriven outputs, multi-driven signals, latch-inference risks, blocking/nonblocking misuse. Pure Python stdlib.
41Python - claimgate
Paste an AI science claim; ClaimGate extracts each claim, routes it to a deterministic gate, and seals a replayable evidence pack.
33Python - dtl-verify
Built from public GitHub data and refreshed every few hours. Not affiliated with @kyal102.