SpecIBT

Public

Formally Verified Protection Against Speculative Control-Flow Hijacking

Updated Feb 4, 2026

Created Jul 1, 2025

2 stars

0 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

222 commits

203 commits

139 commits

98 commits

52 commits

51 commits

36 commits

15 commits

Recent Stargazers

7 months ago

2 days ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)1,717

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 2

Open Issues2

Activity Peak

Most recent day with highest activityFeb 4, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics