ada 开源项目推荐（1,135 个）

ohenley /awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

frol /completely-unscientific-benchmarks

几种编程语言（JavaScript、Kotlin、Rust、Swift、Nim、Python、Go、Haskell、D、C++、Java、C#、Object Pascal、Ada、Lua、Ruby）的朴素性能比较

Bytedesk /bytedesk

Open Souce 即时通讯，支持AI驱动的实时聊天、电子邮件、工单支持、全渠道客户服务，以及Slack的替代方案+zendesk/对讲机/hubspot。

its-pointless /gcc_termux

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

tsoding /eepers

Simple Turn-based Game

pyjarrett /septum

Context-based code search tool

alire-project /alire

Command-line tool from the Alire project and supporting library

Emurgo /yoroi-frontend

Yoroi Wallet - Cardano ADA Wallet - 通往金融世界的门户（扩展前端）

fraawlen /cassette

POSIX application framework featuring an experimental GUI toolkit and a configuration language.

AdaDoom3 /AdaDoom3

Id Software's Id-tech-4-BFG in the Ada programming language.

Emurgo /yoroi

Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.

zertovitch /hac

HAC Ada 编译器——一个完全用 Ada 编写的小型、快速的 Ada 编译器。

tofgarion /spark-by-example

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

ada-game-framework /sdlada

Ada 2022 bindings to SDL 2

ada-lang-io /ada-lang-io

An Open Source Community site for Ada

AdaCore /RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

joular /powerjoular

PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS

stcarrez /ada-awa

Ada Web Application - Framework to build high performance secure web applications

flyx /OpenGLAda

Thick Ada binding for OpenGL and GLFW

AdaDoom3 /TurboAda

An Ada ~2022 LLVM compiler