Ada
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language. It has built-in language support for design by contract, strong typing, explicit concurrency, tasks, synchronous message passing, and protected objects. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC) as ISO/IEC 8652:2012.
- GitHub: https://github.com/topics/ada
- Wikipedia: https://en.wikipedia.org/wiki/Ada_%28programming_language%29
- Related Topics: ada-programs, ada-binding, ada-language, spark-ada, spark, gnat, ada-framework, ada-library, gpr, ada-stuff,
- Aliases: ada-2012, ada2012, ada95,
- Last updated: 2026-06-13 00:01:05 UTC
- JSON Representation
https://github.com/tim-w-james/routing-calculator
Brute force algorithm for finding the shortest paths between different router topologies - part of a Uni assignment
Last synced: 09 Apr 2025
https://github.com/tim-w-james/ada-reference-code
Useful reference code for using Ada for concurrent operations
Last synced: 09 Apr 2025
https://github.com/mkungla/experiments
Plutus experiments
ada cardano cardano-community plutus
Last synced: 06 Apr 2025
https://github.com/ada-game-framework/anuklear_examples
Test programs for ANuklear.
ada game game-development gamedev games gui nuklear nuklear-gui ui
Last synced: 11 Jun 2026
https://github.com/aztek/6nimmt
An Ada 2012 text terminal implementation of the board game 6 Nimmt!.
Last synced: 06 May 2026
https://github.com/skynettechnologies/sylius-allinoneaccessibility-plugin
All in One Accessibility widget improves Sylius website ADA compliance and browser experience for ADA, WCAG 2.1 & 2.2, Section 508, Australian DDA, European EAA EN 301 549, UK Equality Act (EA), Israeli Standard 5568, California Unruh, Ontario AODA, Canada ACA, German BITV, France RGAA, Brazilian Inclusion Law (LBI 13.146/2015), Spain UNE 139
accessibility accessibility-checker ada
Last synced: 29 Jul 2025
https://github.com/m7a/bo-tar-ada
Ada library for writing Tar and PAX archives (typical file extension `.tar`).
Last synced: 08 Apr 2026
https://github.com/byllgrim/iictl
Control program for ii - Manage server/channel connections
ada cc0 experimental fifo ii irc kiss minimal
Last synced: 26 Jul 2025
https://github.com/wasm-outbound-http-examples/ada
Make HTTP requests from inside WASM in Ada. Demo and devcontainer.
ada adawebpack http-client http-request wasm webassembly
Last synced: 10 May 2026
https://github.com/imgabreuw/ada-ifood-data-science
Trilha de Data Science do curso em parceria entre Ifood e Ada.
Last synced: 23 Jul 2025
https://github.com/bousquetfrederic/gameoflife
Game of Life in Ada, inspired by John Barnes' book.
Last synced: 30 May 2026
https://github.com/lucretia/ada-utilities
VSCode extension for Ada.
ada vscode vscode-extension vscode-plugin
Last synced: 19 Apr 2026
https://github.com/ada-game-framework/sdlada_test_progs
Test programs for SDLAda.
ada game game-development gamedev games sdl2 sdl2-image sdl2-mixer sdl2-ttf
Last synced: 10 Jun 2026
https://github.com/akutchi/cpyc
A Simple C to Python Converter written in Ada
Last synced: 10 May 2026
https://github.com/brentseidel/light-tracker
Stepper motors to drive a pan and tilt head to track a light.
3d-printing ada arduino latex-document lisp
Last synced: 12 May 2026
https://github.com/Lucretia/ada-utilities
VSCode extension for Ada.
ada vscode vscode-extension vscode-plugin
Last synced: 14 Mar 2025
https://github.com/louisbrulenaudet/ada-site-compliance
Politique d'accessibilité pour la mise en conformité à l'Americans with Disabilities Act (ADA), destinée aux sites web exerçant une activité commerciale en Amérique du Nord 🇺🇸
Last synced: 08 Oct 2025
https://github.com/BH-Tec/jogo-da-forca
Projeto do tutorial de "Como fazer jogos com Python " da Let’s Code from Ada.
Last synced: 09 Oct 2025
https://github.com/jonny-binns/fase-practicals
Contains the practice work and code from lectures in the Formal Approaches to Software Engineering Module
Last synced: 15 May 2026
https://github.com/jorlly-collado-castro/valida
C# .NET, Vue.js, Kubernetes sample application (portfolio project)
ada csharp-dotnet formal-verification kubernetes vuejs
Last synced: 14 Jun 2026
https://github.com/radekg/ada-german-salary
German gross salary employer contributions calculator in Ada
ada germany salary-calculator social-contribution
Last synced: 05 Feb 2026
https://github.com/Bread-Experts-Group/byteflippers
Signed/modular types for system, big and little endian reading/writing.
ada big-endian byte endian flip little-endian lsb msb swap
Last synced: 16 Oct 2025
https://github.com/tim-w-james/gliding-in-space
Example of a concurrent communication system - part of a Uni assignment
Last synced: 14 Jun 2025
https://github.com/mgrojo/open_url
Open "*.url" files under Linux
ada browser internetshortcut open url xdg
Last synced: 01 Apr 2025
https://github.com/bread-experts-group/byteflippers
Signed/modular types for system, big and little endian reading/writing.
ada big-endian byte endian flip little-endian lsb msb swap
Last synced: 27 Oct 2025
https://github.com/mgrojo/alr2appimage-action
Reusable action that you can use to build an AppImage from your Alire crate and publish it to your releases section
ada alire appimage github-actions
Last synced: 18 Apr 2026
https://github.com/landano/cardano-mx-plugin
Connect Mendix to the Cardano blockchain. Build secure dApps with wallets, transactions, NFTs, and smart contracts — all inside Mendix.
ada blockchain blockfrost bloxbean cardano cip30 ipfs low-code mendix metadata multi-signature nft open-source plugin smart-contracts wallet web3
Last synced: 27 Feb 2026
https://github.com/jwarwick/aoc_2019_ada
2019 Advent of Code in Ada
ada advent-of-code advent-of-code-2019 aoc aoc2019
Last synced: 11 Feb 2026
https://github.com/brunodorea/jogo-da-forca
Projeto do tutorial de "Como fazer jogos com Python " da Let’s Code from Ada.
Last synced: 26 Mar 2025
https://github.com/joseaverde/adventofcode
ada advent-of-code advent-of-code-2021
Last synced: 16 Apr 2026
https://github.com/thebirk/aoc-2020
Advent of Code 2020 in Ada
ada advent-of-code advent-of-code-2020 advent-of-code-ada
Last synced: 26 Mar 2025
https://github.com/ids1024/ada-android-docker
Docker recipe for GNU GNAT based Ada cross-toolchain targeting Android
Last synced: 17 Apr 2026
https://github.com/ada-game-framework/sdlada_mixer
Ada bindings to the sdl2-mixer library.
ada audio game game-development gamedev games sdl2-mixer sound
Last synced: 03 Jun 2026
https://github.com/ndf-web-dev/code-refactor
Code refactoring website project.
a11y accessibility ada css documentation html refactoring refactoring-exercise seo
Last synced: 20 Apr 2026
https://github.com/tyfiero/ada-priceart-explorer
Generative art NFT project on Cardano that uses real ADA/USD price data to create 3D candlestick art
ada cardano cnft data-visualization generative-art javascript nft p5js
Last synced: 28 Apr 2026
https://github.com/torunar/learning-ada
Snippets of code and exercises from "Beginning Ada Programming: From Novice to Professional" by Andrew T. Shvets
Last synced: 08 Jun 2026
https://github.com/mohith6/breaking-systems-sensor-development
High Integrity Car Breaking System Sensor Development
ada breakingsystems criticalsystems embedded-systems highintegrity sensors spark
Last synced: 01 May 2026
https://github.com/akagi201/learning-cardano
Codes and Notes while learning cardano
Last synced: 02 May 2026
https://github.com/christoffer-nylen/asis-debug-tool
Identifies suitable ASIS queries by testing them on each ASIS element of a given Ada95 program.
ada ada95 asis asis-for-gnat static-analysis
Last synced: 09 Jun 2026
https://github.com/roswelly/cardano-slot-game
🎰 Fully on-chain Slot Machine Game built with Cardano Plutus smart contracts. A provably fair blockchain casino game using ADA with wallet integration and Haskell-based smart contract logic.
ada cardano gambling haskell lucid plutus provably-fair slot
Last synced: 07 May 2026
https://github.com/jklmnn/wiringpi-ada
Ada bindings for wiringPi
ada raspberry-pi raspberrypi wiring-pi wiringpi wiringpi-library
Last synced: 08 May 2026
https://github.com/dolgarev/kingdom-83
A modern recreation of the classic CP/M strategy game Kingdom (also known as Hamurabi), implemented in Ada 83.
Last synced: 20 Feb 2026
https://github.com/dolgarev/ada_adventure
A simple text-based adventure game written in Ada. The game map is loaded dynamically from a resource file, allowing for easy expansion and modification of the adventure.
Last synced: 20 Feb 2026