libvmm

Public

A virtual machine monitor for the seL4 microkernel

Other

Updated Jan 30, 2026

Created Aug 29, 2022

51 stars

18 forks

16 watchers

24 open issues

Languages

Codebase composition by bytes

Top Contributors

538 commits

55 commits

37 commits

11 commits

7 commits

7 commits

5 commits

2 commits

2 commits

1 commits

Recent Stargazers

over 3 years ago

over 3 years ago

over 3 years ago

almost 3 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

about 2 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)1,350,326

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 13Closed Issues 87

Open Issues100

Activity Peak

Most recent day with highest activityFeb 2, 2026 • 7 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

libvmm