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://mgrojo.github.io/adasearch/
Custom search engine for the Ada programming language
ada custom-search-google search-engine spark spark-ada
Last synced: 21 Jul 2025
https://github.com/martinmoene/kalman-estimator-ada
kalman-estimator - a Kalman estimator in Ada, sibling of Kalman estimator in C++
ada avr-programming bare-metal embedded kalman-estimator learning
Last synced: 04 Apr 2025
https://github.com/onox/weechat-emoji
A WeeChat plug-in written in Ada 2012 π₯° that displays emoji π₯³
ada emoji weechat weechat-plugin
Last synced: 19 Feb 2026
https://github.com/den-is/adaops
Cardano CLI operations automation and augmentation functions library
ada blockchain cardano cardano-cli cardano-node crypto cryptocurrency operations python python3
Last synced: 19 May 2026
https://github.com/oskarnp/advent-of-code
My solutions to the "Advent of Code" programming challenges in various languages.
ada ada-lang advent-of-code advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 adventofcode odin odin-lang odin-programming-language zig zig-lang
Last synced: 07 Jan 2026
https://github.com/abitofhelp/result
A high-performance, memory-safe Result type library for Ada that provides type-safe error handling without exceptions. Inspired by Rust's Result<T, E> and functional programming's Either patterns, optimized for maximum efficiency through Ada's OUT parameter design.
ada either error-handling monad result rust-result
Last synced: 07 Aug 2025
https://github.com/Lucretia/sdlada
Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I may delete over using the AGF one below.
Last synced: 12 Jan 2026
https://github.com/onox/weechat-canberra
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
ada canberra weechat weechat-plugin
Last synced: 04 Jun 2026
https://github.com/musevarg/ada-spark-plane-autopilot
A pilot assistance system for a plane written in the ADA SPARK language.
Last synced: 17 May 2026
https://github.com/lucretia/samueltardieu-postgres-ada
Archive version of Samuel Tardieu's clean up of postgres-ada, it's no longer on his github account or the net. I don't know how much this differs from the coreland version.
ada database databases pgsql postgres postgresql
Last synced: 21 Apr 2026
https://github.com/skynettechnologies/gatsby-plugin-all-in-one-accessibility
All in One Accessibility AI Widget Supports 140 Languages, Screen Reader, Voice Navigation, Dictionary, Virtual Keyboard, Accessibility Profiles, Sign language Libras (Brazilian Portuguese) Custom Widget Color, Icon size, Position, GA4 Tracking and custom accessibility statement link are some of the top features.
accessibility accessibility-checker ada
Last synced: 29 Jul 2025
https://github.com/schwering/regexp
A regular expression library for Ada with support for intersection, union, etc.
Last synced: 05 Jun 2026
https://github.com/drakmord2/rec-compiler
A compiler for the REC language implemented in Java.
Last synced: 16 May 2026
https://github.com/portalnetwork/cns
π Documents and implementations for the Cardano Name Service.
Last synced: 07 Feb 2026
https://github.com/Alex-Gamper/Ada-LanguageServer
Prototype implementation of LSP client - Visual Studio 2017
Last synced: 14 Mar 2025
https://github.com/thechampagne/webview-ada
Ada binding & wrapper for a tiny cross-platform webview library to build modern cross-platform GUIs.
ada ada-language binding library webview wrapper
Last synced: 05 Apr 2025
https://github.com/skynettechnologies/django-all-in-one-accessibility
It uses the accessibility interface which handles UI and design related adjustments. All in One Accessibility app enhances your Django website accessibility to people with hearing or vision impairments, motor impaired, color blind, dyslexia, cognitive & learning impairments, seizure and epileptic, and ADHD problems.
Last synced: 10 Apr 2026
https://github.com/zaneray/ada-responsive-menu
ADA Accessible Ressponsive menus that are Voice Over and keyboard compatible
accessibility ada menu menu-navigation mobile navigation responsive
Last synced: 18 Apr 2026
https://github.com/lucretia/ada-vscode
Basic syntax highlighting for Ada and GPR
ada ada-vscode vscode-extension
Last synced: 29 Apr 2026
https://github.com/mgrojo/atgui
Ada binding for TGUI, a cross-platform GUI for SFML
ada binding cross-platform gui sfml tgui
Last synced: 01 Apr 2025
https://github.com/flyx/FreeTypeAda
FreeType binding for Ada 2012
ada freetype language-bindings
Last synced: 14 Mar 2025
https://github.com/thindil/cmark_ada
A very thin Ada binding for the CommonMark parsing and rendering library: https://github.com/commonmark/cmark
Last synced: 01 May 2026
https://github.com/brentseidel/arduino-sensor-network
A network of Arduinos with sensors
ada arduino communication embedded-systems rs485
Last synced: 01 May 2026
https://github.com/or13/countess-ada
W3C Web Accessibility with Verifiable Credentials Demo
Last synced: 01 May 2026
https://github.com/sk1ppi-archived/learn_meshjs_building_transactions
Simple transactions using Mesh JS (cardano) using CLI generated keys, mnemonic seed phrase and private keys.
Last synced: 02 May 2026
https://github.com/caterpillardev/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: 13 Jun 2025
https://github.com/jquorning/agettext
Ada pendant of `xgettext`
ada agettext gettext gpr i18n l10n localization xgettext
Last synced: 09 Jun 2026
https://github.com/fastrgv/portable-openal-sound
Cross platform sound-playing utility for Ada apps with its own binding to OpenAL for Windows, OSX & linux.
ada linux music-loops openal osx sound windows
Last synced: 10 Jan 2026
https://github.com/chemoelectric/eprb_signal_correlations
Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committee for Physics has banned this program. (Mirrored at https://eprb-signal-correlations.sf.net)
ada common-lisp fortran particle-physics physics probability probability-theory python python3 quantum quantum-computing quantum-mechanics signal-analysis signal-processing simulation
Last synced: 22 Feb 2026
https://github.com/atpstorages/checksum
Algorithms for error-checking
ada adler32 checking crc crc32 error error-checking redundancy
Last synced: 30 Mar 2025
https://github.com/abitofhelp/pipelib_ada
A high-performance, parallel data processing pipeline library written in Ada 2022.
2022 ada clean-architecture ddd hexagonal-architecture library parallel patterns pipeline
Last synced: 07 Aug 2025
https://github.com/l-stanny/accessible-svg
My Alice Blue Accessible SVG. This project is a self-directed study in coding an ADA accessibility-compliant inline SVG.
accessibility accessibility-compliance ada ada-compliance html inline-svg section-508 svg user-experience ux
Last synced: 28 Oct 2025
https://github.com/caterpillardev/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: 21 Jul 2025
https://github.com/realtrippr/avrada-tutorial
The source code of my Ada for AVR-8 tutorial
Last synced: 12 Oct 2025
https://github.com/martinmoene/scrape-vattenfall
Scrape Vattenfall web page with daily electricity usage.
ada command-line-tool python text-processing
Last synced: 09 May 2026
https://github.com/roldak/adacompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
ada ada-language dsl gpu opencl statically-typed
Last synced: 24 Mar 2025
https://github.com/denkisikinoneko/checksum
Algorithms for error-checking
ada adler32 checking crc crc32 error error-checking redundancy
Last synced: 13 Oct 2025
https://github.com/jeremygrosser/the_grid
A game demo for the Pimoroni Picosystem
ada alire game gnat picosystem pimoroni rp2040
Last synced: 12 Mar 2025
https://github.com/mecaneer23/binarytodecimal
Binary to decimal converters in numerous languages. Designed as a learning tool to compare common concepts across programming languages.
ada bash batch bin2dec binary-to-decimal binary-to-decimal-number-converter c coffeescript cpp forth haskell programming-languages python scala swift
Last synced: 27 Jan 2026
https://github.com/jorlly-collado-castro/microbit-v2-firmware
Formally verified Alire firmware crate for the BBC micro:bit v2 board
ada ada-2022 embedded formal-verification ravenscar spark-2014
Last synced: 14 Jun 2026
https://github.com/fastrgv/HungarianAlgorithm
Fully functional Hungarian Algorithm implementation in Ada
ada hungarian-algorithm kuhn kuhn-munkres munkres
Last synced: 14 Mar 2025
https://github.com/lkujaw/blake2s
The BLAKE2s hash function for SPARK83 [Ada (1987)]
ada ada1987 blake2 blake2s hash mit-license spark-ada
Last synced: 25 May 2026
https://github.com/schwering/db6
A column-oriented database management system, written in Ada
Last synced: 15 Apr 2026
https://github.com/flyx/freetypeada
FreeType binding for Ada 2012
ada freetype language-bindings
Last synced: 31 Dec 2025
https://github.com/akutchi/path_solver
A visualizer for Dijkstra's algorithm in ada with a procedural world map generation
ada dijkstra-algorithm gtkada perlin-noise procedural-generation
Last synced: 20 Mar 2025
https://github.com/foxiesx/cardano-alonzo-nft-creator
A bash script that will make real NFTs using a Haskell/Plutus on-chain validator on the Cardano Blockchain
ada blockchain cardano cardano-cli cardano-node demo haskell haskell-application haskell-exercises nft nft-generator plutus plutus-pioneer-program
Last synced: 06 May 2026
https://github.com/west-palm-beef/awest-d-s
Low-vision aspiring developer and staunch advocate for digital accessibility!
ada desktop-app-audit mobile-audit section-508 wai-aria wcag website-auditing
Last synced: 11 May 2026
https://github.com/jeremygrosser/pico_doc
Documentation for Ada on the Raspberry Pi Pico
ada arm bsp documentation gnat pico raspberry-pi rp2040
Last synced: 07 May 2025
https://github.com/akutchi/french-nomaian
A nomai's language generator adapted for french.
ada c gtkada language linguistics ncurses-tui nomai outer-wilds
Last synced: 19 May 2026
https://github.com/abitofhelp/hybrid_lib_ada
Hybrid DDD/Clean/Hexagonal library starter for Ada 2022
ada clean ddd functional hexagonal library result-monad template
Last synced: 13 Jan 2026
https://github.com/Lucretia/ada-vscode
Basic syntax highlighting for Ada and GPR
ada ada-vscode vscode-extension
Last synced: 14 Mar 2025
https://github.com/primaryobjects/cardano-tutorial
Easy tutorial for developing with the Cardano blockchain. Create a wallet. Send and receive ADA.
ada blockchain cardano cardano-cli cardano-community cardano-wallet dapp javascript lovelace node-js nodejs tutorial tutorials web3
Last synced: 18 Apr 2026
https://github.com/neal-c/hello_ada
Ada programming language - for curiosity
Last synced: 15 Aug 2025
https://github.com/nilssonk/aoc2020_ada
Ada solutions for Advent of Code 2020
ada advent-of-code advent-of-code-2020
Last synced: 12 Aug 2025
https://github.com/sanelli/turing
Collection of Turing machine emulators for various languages (Go, C#, Python, C++, Pascal, Ada, C, D)
ada c cpp csharp dlang golang pascal python turing-machine turing-machine-simulator
Last synced: 09 Apr 2026
https://github.com/canalada-org/Wikilibro_Ada
CΓ³digo fuente de los ejemplos del wikilibro "ProgramaciΓ³n en Ada"
Last synced: 10 Mar 2025
https://github.com/npizan/ProgLang
Code for Programming Languages course
ada prolog scheme school-project
Last synced: 10 Mar 2025
https://github.com/amtins/returnator-adventures
π€ Monthly crypto-currency returns based on historical data provided by Binance API.
ada ava binance bitcoin cryptocurrency doge ethereum xrp
Last synced: 05 May 2026
https://github.com/mmahut/cardano.beer
Website for cardano.beer
ada beer cardano cryptocurrency
Last synced: 14 Jun 2026
https://github.com/asafamos/axle
Accessibility compliance CI for the modern web β WCAG 2.1/2.2 AA, AI code fixes with Claude, lawyer-ready audit artifacts.
a11y accessibility ada ai axe-core ci-cd claude eaa nextjs saas wcag wcag-compliance
Last synced: 25 May 2026
https://github.com/jklmnn/wiringPi-Ada
Ada bindings for wiringPi
ada raspberry-pi raspberrypi wiring-pi wiringpi wiringpi-library
Last synced: 14 Mar 2025
https://github.com/lucretia/fizzbuzz
Ada implementations of fizz buzz
ada ada2012 cc0 example example-code fizz-buzz fizzbuzz interview-questions learning
Last synced: 30 Jul 2025
https://github.com/skynettechnologies/aimeos-accessibility-extension
It uses the accessibility interface which handles UI and design related adjustments. All in One Accessibility app enhances your Aimeos website accessibility to people with hearing or vision impairments, motor impaired, color blind, dyslexia, cognitive & learning impairments, seizure and epileptic, and ADHD problems.
accessibility accessibility-analysis accessibility-checker ada aimeos aimeos-shops
Last synced: 04 Mar 2026
https://github.com/angelv-26/python-password-rotation-script
A practical Python-based tool I built to simulate password rotation and secure storage for privileged accounts, inspired by real-world PAM workflows
ada auto cyber pam password-management password-ro python secrets security-tool
Last synced: 07 May 2026
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: 17 May 2026
https://github.com/mgrojo/asnip
ASnip reads snippets of Ada source text, correct or incorrect, and produces output suitable for printing, viewing, or including.
Last synced: 29 Jul 2025
https://github.com/jonny-binns/fase-coursework
Coursework for the Formal Approaches to Software Engineering module taken in 4th year
Last synced: 23 May 2026
https://github.com/antonmeep/fastpbkdf2_ada
Binding and an Ada wrapper for fastpbkdf2
Last synced: 16 Jul 2025
https://github.com/jkinder17/holy-ada-compiler
An (in-progress) Ada implementation for TempleOS, crafted from the ground up in HolyC, and designed to compile into HolyC.
ada compiler holyc templeos terry-davis
Last synced: 29 May 2026
https://github.com/matheussoranco/particlephysicssimulation
A particle physics simulation ambience implemented in ADA for performance testing
ada computer-science physics-simulation
Last synced: 25 Jul 2025
https://github.com/atpstorages/compression
Algorithms for data compression
ada compression deflate flate inflate jpeg zlib
Last synced: 30 Mar 2025
https://github.com/sanelli/tic-tac-toe
Tic Tac Toe implemented in Ada and SDL2.
Last synced: 30 Oct 2025
https://github.com/xframes-project/xframes-ada
GPU accelerated UI development for Ada
Last synced: 02 Sep 2025
https://github.com/ninjascl/sistemas-operativos
Libro sobre conceptos de Sistemas Operativos
ada c elixir operativos python sistemas
Last synced: 11 Apr 2026
https://github.com/sushyk/trafficcontrolsystem
A simplified Traffic Control System
Last synced: 15 Mar 2025
https://github.com/allen-woods/spl-template-repo
Template repo for use in projects developed with system programming languages.
ada c-language c-plus-plus d-lang github-cli go nim rust swift
Last synced: 11 Apr 2026
https://github.com/ohexa/adakeys.com
AdaKeys.com is an educational tool for exploring how Cardano wallet addresses are derived from entropy. It demonstrates how 12, 15, and 24-word mnemonics (based on 128, 160, or 256-bit hex values) are used to generate both Icarus-style (Ae2td...) and Shelley-era (addr1..., stake1...) addresses following standard cryptographic derivation paths.
Last synced: 10 Jun 2026
https://github.com/denkisikinoneko/compression
Algorithms for data compression
ada compression deflate flate inflate jpeg zlib
Last synced: 11 Jun 2026
https://github.com/alfioma/ada-xtq
π Simplify data transfer with ada-xtq, a lightweight tool for seamless integration and efficient handling of data between platforms.
ada algorithms api-development artificial-intelligence automation data-analysis data-visualization docker machine-learning neural-networks open-source programming python software-development xtq
Last synced: 01 May 2026
https://github.com/xavier-maruff/bft
An optimizing multi-target brainf*ck transpiler
ada brainfuck brainfuck-transpiler c compiler cpp fortran90 js rust transpiler
Last synced: 12 Apr 2026
https://github.com/block-foundation/docker-cardano-node
Cardano Node Docker Image
ada blockchain blockfoundation cardano docker node
Last synced: 18 Jan 2026
https://github.com/phillvancejr/move-square-cpp-zig-ada
simple graphical app to test if I want to use Zig or Ada in addition to C++
Last synced: 09 May 2026
https://github.com/akutchi/lovetrace
a path tracing project in ada
ada image-synthesis path-tracing
Last synced: 20 Mar 2025
