Chủ sở hữu · AdaCore
AdaCore
Các kho mã nguồn mở đang theo dõi của AdaCore, sắp xếp theo số sao.
1 kho mã
- #1
GNAT Studio là một IDE mạnh mẽ và nhẹ dành cho Ada và SPARK.
★ 529+2Thay đổi số sao trong 7 ngày qua
Các kho mã nguồn mở đang theo dõi của AdaCore, sắp xếp theo số sao.
GNAT Studio là một IDE mạnh mẽ và nhẹ dành cho Ada và SPARK.