charlie5/laceOS

An Archlinux operating system tailored for developing software in the Ada and SPARK languages.

语言：HTML · GitHub 星标：9 · Fork：1

在 GitHub 上查看原仓库