Chủ sở hữu
AdaCore
Đã lập chỉ mục 35 kho mã nguồn · Xem trên GitHub
-
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada · 531 star
-
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat...
Ada · 328 star
-
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada · 304 star
-
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Ada · 286 star
-
gnat-llvm
LLVM based GNAT compiler
Ada · 239 star
-
libadalang
Ada semantic analysis library.
Ada · 171 star
-
aws
AWS is a complete framework to develop Web based applications in Ada.
Ada · 162 star
-
learn
Sources for learn.adacore.com
Ada · 117 star
-
gtkada
Ada bindings for the GTK+ graphical library.
Ada · 110 star
-
langkit
Language creation framework.
Ada · 94 star
-
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada · 81 star
-
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
Ada · 72 star
-
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada · 71 star
-
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
70 star
-
gnatcoll-core
GNAT Components Collection – Core packages
Ada · 55 star
-
gnatcoverage
GNATcoverage: Coverage Analysis Tool
Ada · 47 star
-
e3-core
Core framework for developing portable automated build systems
Python · 32 star
-
xmlada
The XML/Ada toolkit.
Ada · 30 star
-
PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada · 24 star
-
gpr
The framework for analyzing the GNAT Project (GPR) files
Ada · 21 star
- Còn 15 kho mã nguồn nữa trên Xem trên GitHub
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Add ability to have Ghost Tasks Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Standard'Target_Name is wrong Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
AdaCore/ada-spark-rfcs#256 · 2 bình luận · 1 reaction ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
What is Flare? Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
AdaCore/ada-spark-rfcs#252 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
AdaCore/ada-spark-rfcs#245 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
-
[feature] SPARK_Mode_Enabled Đang mởenhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
AdaCore/ada-spark-rfcs#240 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
AdaCore/Ada_Drivers_Library#482 · 3 bình luận ·
-
Outdated SVD bindings Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
AdaCore/Ada_Drivers_Library#481 · 1 bình luận ·
-
bug
AdaCore/ada_language_server#1304 · 4 bình luận · 1 người được giao ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 58/100
AdaCore/gnatstudio#204 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Doesn't compile with LLVM-21.1.8 Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
wasi build support? Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
`install` target of the Makefile fails when called with `-j 32` on a machine with many cores Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
AdaCore/rust-zynqmp#1 · 1 bình luận ·
-
AdaCore/ada-spark-rfcs#219 · 5 bình luận · 1 người được giao ·
-
Port the runtime to WCH MCUs Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
AdaCore/bb-runtimes#80 · 2 bình luận ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
AdaCore/gnatcoll-db#65 ·
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100
AdaCore/ada-spark-rfcs#209 · 3 bình luận ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100
AdaCore/gnatstudio#202 · 1 reaction ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
AdaCore/Ada_Drivers_Library#462 · 1 bình luận ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
AdaCore/gnatformat#8 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100
AdaCore/gnatstudio#201 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
AdaCore/gnatstudio#199 · 5 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
AdaCore/ada_libfswatch#6 · 1 bình luận ·
-
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 45/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
AdaCore/ada-spark-rfcs#202 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
AdaCore/gnatstudio#198 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
AdaCore/gnatcoll-core#111 · 1 bình luận ·
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.