GitHub Analytics

GitHub Analytics

Loading...

Runtime Verification Inc. - GitHub Analytics Profile

RU

Runtime Verification Inc.

@runtimeverification

Champaign, IL

Joined March 2013

254 Followers

0 Following

AI Insights & Achievements

45/ 100

Quality

Avg 31.0 stars per repo.

Growth

30 new projects with 65 stars.

Veteran

Coding for 13 years.

Public Repos

206

Total Stars

3101

Total Forks

799

Public Gists

0

Top Languages

Based on primary language of repositories

Recent Activity

MemberEvent on runtimeverification/hax-annotations-adc-verification

February 3rd, 2026 9:40 AM

MemberEvent on runtimeverification/horner_hax_comppoly_poc

January 27th, 2026 12:48 PM

MemberEvent on runtimeverification/skribe_bobcat-sdk

January 20th, 2026 9:35 AM

MemberEvent on runtimeverification/skribe_9lives.so

January 19th, 2026 10:21 AM

MemberEvent on runtimeverification/zkvm-merkle-lean

January 7th, 2026 11:38 AM