ada
There are 761 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
pyjarrett/septum
Context-based code search tool
tsoding/eepers
Simple Turn-based Game
Emurgo/yoroi-frontend
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
alire-project/alire
Command-line tool from the Alire project and supporting library
AdaDoom3/AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
fraawlen/cassette
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration 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
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
flyx/OpenGLAda
Thick Ada binding for OpenGL and GLFW
stcarrez/ada-awa
Ada Web Application - Framework to build high performance secure web applications
Lucretia/bare_bones
Ada Bare Bones OS development tutorial source code
coincashew/coincashew
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
docandrew/CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
joular/powerjoular
PowerJoular allows monitoring power consumption of multiple platforms and processes.
wookey-project/ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
stcarrez/ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
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
samuell/awesome-ada
Awesome resources and other links related to the Ada programming language
proyecto26/cardano-developer
A Cardano Developer Guide
godunko/adawebpack
Ada WASM Runtime and Bindings for Web API
echovl/cardano-go
Go module for the Cardano Blockchain
autistic-symposium/autistic-cypherpunk-toolkit
👾 notes and resources on cryptography, cryptocurrencies, and cypherpunk living for the autistic cypherpunk anons out there
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.
i42output/neos
Language agnostic scripting engine with a custom bytecode JIT
saasify-sh/ta11y
Modern web accessibility audits. 💪
JeremyGrosser/rp2040_hal
Ada drivers for the Raspberry Pi RP2040 SoC