Skip to content
View liudonghua123's full-sized avatar
168 followers · 53 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

Block or report liudonghua123

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

5 stars written in Ada
Clear filter

AdaCore / gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Ada 501 64 Updated Apr 17, 2026

AdaCore / spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Ada 304 44 Updated Apr 16, 2026

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada 293 68 Updated Apr 17, 2026

AdaCore / gnat-llvm

LLVM based GNAT compiler

Ada 224 26 Updated Apr 17, 2026

godunko / adawebpack

Ada WASM Runtime and Bindings for Web API

Ada 76 6 Updated Feb 16, 2025

Starred topics

See all starred topics