Explore projects

Standard-Meta-language-Of-New-Jersey-For-proj360-RuxOS-ML

Standard-Meta-language-Of-New-Jersey-For-proj360-RuxOS-ML

学校：西安邮电大学 ID：T202411664992589 队伍名：我和评委一队 项目：Proj147

西安电子科技大学，T202410701992664，龙装大树守卫，proj235

Standard-Meta-language-Of-New-Jersey-For-proj360-RuxOS-ML

学校：西安邮电大学 ID：T202411664992589 队伍名：我和评委一队 项目：Proj147

西安电子科技大学，T202410701992664，龙装大树守卫，proj235

Standard-Meta-language-Of-New-Jersey-For-proj360-RuxOS-ML

学校：西安邮电大学 ID：T202411664992589 队伍名：我和评委一队 项目：Proj147

学校：西安邮电大学 ID：T202411664992589 队伍名：我和评委一队 项目：Proj147

西安电子科技大学，T202410701992664，龙装大树守卫，proj235

西安电子科技大学，T02410701992664,龙装大树守卫,proj235

哈尔滨工业大学（深圳），RethinkFS，proj117-smart-flash-fs

哈尔滨工业大学（深圳），RethinkFS，proj117-smart-flash-fs

本项目包含多个仓库，当前仓库仅包含seL4微内核代码。 为了移植seL4微内核并运行测试程序，本团队fork了多个官方仓库，各仓库信息见readme。 seL4官方仓库地址：https://github.com/seL4。 中国科学技术大学，涛羊羊队（刘庆涛，雷洋，陈洋），题目：proj97-la-seL4。

本项目包含多个仓库，当前仓库仅包含seL4微内核代码。 为了移植seL4微内核并运行测试程序，本团队fork了多个官方仓库，各仓库信息见readme。 seL4官方仓库地址：https://github.com/seL4。 中国科学技术大学，涛羊羊队（刘庆涛，雷洋，陈洋），题目：proj97-la-seL4。

seL4 specification and proofs, see official repositories at https://github.com/seL4. Currently learning stuff at: tools/c-parser/standalone-parser/

本项目包含多个仓库，当前仓库仅包含seL4微内核代码。 为了移植seL4微内核并运行测试程序，本团队复制并修改了多个官方仓库，各仓库信息见readme。 seL4官方仓库地址：https://github.com/seL4。 中国科学技术大学，涛羊羊队（刘庆涛，雷洋，陈洋），题目：proj97-la-seL4。

本项目包含多个仓库，当前仓库仅包含seL4微内核代码。 为了移植seL4微内核并运行测试程序，本团队复制并修改了多个官方仓库，各仓库信息见readme。 seL4官方仓库地址：https://github.com/seL4。 中国科学技术大学，涛羊羊队（刘庆涛，雷洋，陈洋），题目：proj97-la-seL4。