ada
There are 802 repositories under ada topic.
ohenley/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
frol/completely-unscientific-benchmarks
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)
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 - Your gateway to the financial world (extension frontend)
fraawlen/cassette
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
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.
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
Ironclad-Project/Gloire
Mirror of codeberg's repository
zertovitch/hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
ada-game-framework/sdlada
Ada 2022 bindings to SDL 2
AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
ada-lang-io/ada-lang-io
An Open Source Community site for Ada
stcarrez/ada-awa
Ada Web Application - Framework to build high performance secure web applications
flyx/OpenGLAda
Thick Ada binding for OpenGL and GLFW
joular/powerjoular
PowerJoular allows monitoring power consumption of multiple platforms and processes.
coincashew/coincashew
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
Lucretia/bare_bones
Ada Bare Bones OS development tutorial source code
docandrew/CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
stcarrez/ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
wookey-project/ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
simonjwright/FreeRTOS-Ada
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
OpenAADL/ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
godunko/adawebpack
Ada WASM Runtime and Bindings for Web API
proyecto26/cardano-developer
A Cardano Developer Guide
samuell/awesome-ada
Awesome resources and other links related to the Ada programming language
cypherpunk-symposium/the-autistic-cypherpunk-toolkit
👾 notes and resources on cryptography, cryptocurrencies, and cypherpunk living for the autistic cypherpunk anons out there
echovl/cardano-go
Go module for the Cardano Blockchain
i42output/neos
Language agnostic scripting engine with a custom bytecode JIT
input-output-hk/cardano-ledger-byron
A re-implementation of the Cardano ledger layer, replacing the Byron release
kburtch/SparForte
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.
gabriele-galeotti/SweetAda
Ada-language framework