85 Open Source Ada Software Projects
Free and open source ada code projects including engines, APIs, generators, and tools.
Completely Unscientific Benchmarks 477 ⭐
Awesome Ada 364 ⭐
A curated list of awesome resources related to the Ada and SPARK programming language
Gcc_termux 333 ⭐
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
Spark By Example 125 ⭐
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Yoroi Frontend 281 ⭐
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
Recordflux 73 ⭐
Formal message specification and generation of verifiable binary parsers and message generators
Openaadl Ocarina 45 ⭐
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Cortex Gnat Rts 44 ⭐
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit
Ada Util 53 ⭐
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
Adagate 16 ⭐
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OS-X, & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
Ada Synthetizer 13 ⭐
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
Zertovitch Gid 13 ⭐
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Sdl2 Examples 177 ⭐
Examples for getting started with SDL2, for over 12 different programming languages
Rot13 24 ⭐
This is a collection of ROT13 encoding programms written in different languages. Just for fun.
Cardano Py 17 ⭐
Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)
Vim Ada 19 ⭐
Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
Libada Go 19 ⭐
golang library for Cardano network, it is used and maintained by Bitrue(Alonzo compatibled)
Master 13 ⭐
This is an Open-Source, community-driven project for the creation of a documentation hub for Raspberry Pi and ARM Cardano Stake Pool Operators.
Ada Pdf Writer 12 ⭐
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
Cardano_wallet_sdk 16 ⭐
Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.
Coterminalapps 19 ⭐
Retro ASCII Puzzles plus SpaceInvaders, Pacman & Frogger arcade games that run WITH SOUND in a terminal on any platform !!
Cardano Nft Minter 20 ⭐
A script that handles minting cardano native tokens in a simple and interactive way.
Zip Ada 10 ⭐
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
Gcc Toolchain Builder 10 ⭐
Script collection to build ready to use GCC 10.3.0 cross and/or native toolchains: C and C++ for all, (Fortran, ADA, D and GO for native compiler only). Cross targets: LM32, AVR, Motorola 68000 (m68k), (ARM in develop yet)