226
237
526
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 12 | 382 | GNAT Studio is a powerful and lightweight IDE for Ada and SPARK. | |
| 15 | 370 | Context-based code search tool | |
| 1 | 302 | Simple Turn-based Game | |
| 29 | 267 | Command-line tool from the Alire project and supporting library | |
| 4 | 263 | William Whitaker's WORDS, a Latin dictionary | |
| 4 | 250 | Id Software's Id-tech-4-BFG in the Ada programming language. | |
| 2 | 248 | Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools) | |
| 4 | 241 | SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. | |
| 13 | 232 | Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT. | |
| 18 | 224 | Server implementing the Microsoft Language Protocol for Ada and SPARK | |
| 4 | 179 | LLVM based GNAT compiler | |
| 3 | 150 | SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada | |
| 14 | 144 | Ada semantic analysis library. | |
| 1 | 127 | AWS is a complete framework to develop Web based applications in Ada. | |
| 1 | 108 | Ada 2022 bindings to SDL 2 | |
| 4 | 108 | SPARK 2014 re-implementation of the TweetNaCl crypto library | |
| 17 | 104 | HAC Ada Compiler - a small, quick Ada compiler fully in Ada | |
| 2 | 102 | Formal specification and generation of verifiable binary parsers, message generators and protocol state machines | |
| 6 | 93 | Sources for learn.adacore.com | |
| 2 | 93 | Ada Web Application - Framework to build high performance secure web applications |
Popular Ada Topics
Latest Mentions
Latest mentioned Ada repos
| Stars | Project |
|---|---|
| 267 | alire |
| 14 | getada |
| 1 | sdlada |
| 93 | learn |
| 108 | sdlada |
| 370 | septum |
| 302 | eepers |
| 232 | Ada_Drivers_Library |
| 17 | cuda |
| 179 | gnat-llvm |
| 10 | gnoga |
| 3 | gnoga |
| 26 | ada_spark_workflow |
| 29 | adamant |
| 104 | hac |
| 26 | ASFML |
| 5 | ada_iso |
| 22 | Cashe |
| 144 | libadalang |
| 224 | ada_language_server |
Latest Discoveries
Latest discovered Ada repos
| Stars | Project |
|---|---|
| 108 | sdlada |
| 302 | eepers |
| 10 | gnoga |
| 3 | gnoga |
| 26 | ada_spark_workflow |
| 29 | adamant |
| 0 | open_url |
| 0 | adastegano |
| 22 | Cashe |
| 2 | Qplt |
| 0 | mimsy |
| 8 | Alice |
| 2 | destiny-inventory-tool |
| 5 | ada_iso |
| 3 | iso_countries |
| 2 | libadalang2xml |
| 2 | iso_3166 |
| 12 | AdaBots |
| 10 | AGC |
| 2 | esp-idf-ada-bindings |
Recently updated posts
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
-
Eepers – turn based game in ADA (Tsoding)
-
"No way to prevent this" say users of only language where this regularly happens
-
Alire 2.0 Released
-
Ada 95: The Craft of Object-Oriented Programming