Sign inSign up

JGiraldo29/vekos

Source tree for the Verified Experimental Kernel Operating System, or VEKOS.

RustStars 210Forks 12Watchers 210Open issues 6License Apache License 2.0
Details
仓库信息
OwnerJGiraldo29
Homepage—
GitHubhttps://github.com/JGiraldo29/vekos
Last pushed2025-08-19
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--