Lib.rs

› 模拟器
#虚拟机 #虚拟化 #处理器 #类型系统

osiris-typed

虚拟机的类型上下文

由 Trehinos 拥有。

2 个版本

0.1.1 2024 年 4 月 29 日
0.1.0 2024 年 4 月 16 日

#282 in 模拟器


用于 osiris-display

MIT 许可证

11KB
257 行

Osiris/Typed

为 osiris 虚拟机提供类型上下文的第一项工作。

依赖项

~75KB