加载中

ACNC - G 代码解析器和 CNC 控制器

ACNC —— Ada 语言实现的 G 代码解析器和 CNC 控制器 构建指令 G代码查看器 在同一目录中下载和安装 GNAT 和 GtkAda 包 启动 GPS(GNAT 程序设计工作室) 打...

收藏 6

Muen - Ada 语言实现的高可靠 x86/64 分离内核

Muen 是 Ada 语言实现的高可靠分离内核(微内核)操作系统。 概述 Muen Separation Kernel是世界上第一个被正式证明在源代码级别不包含运行时错误的开源微内核。它是由瑞士...

收藏 2
Muen

PolyORB - Ada 语言实现的分布式中间件

PolyORB 是用于构建面向对象分布式系统的多态可重用基础架构。 PolyORB 提供了一个统一的解决方案,依靠中间件标准来构建分布式应用程序。 PolyORB 是一个开发工具套件和一个运行时...

收藏 0

没有更多内容

加载失败,请刷新页面

没有更多内容

返回顶部
顶部