Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Ada Open Source Projects

Open source projects categorized as Ada
Categories > Ada
Awesome Ada ⭐ 543
A curated list of awesome resources related to the Ada and SPARK programming language
most recent commit 3 months ago
Completely Unscientific Benchmarks ⭐ 395
Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)
total releases 1most recent commit 4 years ago
Septum ⭐ 363
Context-based code search tool
most recent commit 3 months ago
Gnatstudio ⭐ 362
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
most recent commit 3 months ago
Yoroi Frontend ⭐ 326
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
most recent commit 3 months ago
Gcc_termux ⭐ 294
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
most recent commit 3 years ago
Adadoom3 ⭐ 243
Id Software's Id-tech-4-BFG in the Ada programming language.
most recent commit a year ago
Synth ⭐ 242
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
most recent commit a year ago
Cardano Ledger ⭐ 241
The ledger implementation and specifications of the Cardano blockchain.
most recent commit 2 days ago
Alire ⭐ 239
Command-line tool from the Alire project and supporting library
most recent commit 3 months ago
Whitakers Words ⭐ 227
William Whitaker's WORDS, a Latin dictionary
most recent commit a year ago
Ada_drivers_library ⭐ 218
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
most recent commit 4 months ago
Ada_language_server ⭐ 212
Server implementing the Microsoft Language Protocol for Ada and SPARK
most recent commit 3 months ago
Gnat Llvm ⭐ 163
LLVM based GNAT compiler
most recent commit 3 months ago
Libadalang ⭐ 137
Ada semantic analysis library.
most recent commit 3 months ago
Aws ⭐ 117
AWS is a complete framework to develop Web based applications in Ada.
most recent commit 3 months ago
Spark By Example ⭐ 108
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
most recent commit 5 years ago
Tamp ⭐ 102
The Ada Microkernel Project
most recent commit 9 years ago
Recordflux ⭐ 100
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
total releases 18most recent commit 17 days ago
Sdlada ⭐ 100
Ada 2012 bindings to SDL 2
most recent commit 3 months ago
Sparknacl ⭐ 97
SPARK 2014 re-implementation of the TweetNaCl crypto library
most recent commit 8 months ago
Steamsky ⭐ 90
Mirror of a roguelike in sky with a steampunk setting
most recent commit 3 months ago
Ada Awa ⭐ 89
Ada Web Application - Framework to build high performance secure web applications
most recent commit 7 months ago
The 2 Most Depended On Ada Open Source Projects
Ta11y ⭐ 27
Modern web accessibility audits. 💪
dependent packages 3total releases 30latest release January 22, 2020most recent commit 3 years agonpm @ta11y/core} Downloads
Cardano Go ⭐ 36
Go module for the Cardano Blockchain
dependent packages 1total releases 15latest release June 08, 2022most recent commit a year ago
The 7 Latest Releases In Ada Open Source Projects
Cardano Go ⭐ 36
Go module for the Cardano Blockchain
dependent packages 1total releases 15latest release June 08, 2022most recent commit a year ago
Cardano Py ⭐ 18
Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)
total releases 94latest release May 14, 2021most recent commit 3 years ago
Ta11y ⭐ 27
Modern web accessibility audits. 💪
dependent packages 3total releases 30latest release January 22, 2020most recent commit 3 years agonpm @ta11y/core} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.