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/simonjwright/coldframe
ColdFrame generates Ada framework code and documentation from UML models.
Last synced: 14 Mar 2025
https://github.com/stcarrez/swagger-ada-todo
Simple todo list server with OpenAPI
Last synced: 12 Apr 2025
https://github.com/brentseidel/bbs-ada-widgets
A collection of Gtk widgets written in Ada for use with Gtkada
Last synced: 30 Oct 2025
https://github.com/brentseidel/bbs-bbb-ada
A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
ada beaglebone-black embedded-linux embedded-systems raspberry-pi
Last synced: 14 May 2025
https://github.com/onox/inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
ada filemonitor filesystem inotify linux
Last synced: 19 Feb 2026
https://github.com/HeisenbugLtd/si_units
Utility library to pretty print physical values in proper metric units
ada ada-language ada2012 convenience digits distance formatting-output instantiation physics pressure scale si-units subprograms utility-library
Last synced: 14 Mar 2025
https://github.com/mgrojo/coap_spark
Formally verified implementation of the CoAP protocol in SPARK/Ada
ada coap formal-verification iot spark-ada
Last synced: 22 Feb 2026
https://github.com/zertovitch/wasabee
Wasabee: a Web browser with safety focus. Project is in early development stage.
Last synced: 14 Mar 2025
https://github.com/thindil/Ada-Bundle
Maintained complete Ada-Mode for Vim/NeoVim
Last synced: 14 Mar 2025
https://github.com/jklmnn/STOTP
SPARK TOTP library
2fa 2fa-security ada base32 formal-verification hotp spark totp
Last synced: 14 Mar 2025
https://github.com/zertovitch/excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
ada ada-language ada-library excel excel-writer excelwriter spreadsheet
Last synced: 14 Mar 2025
https://github.com/stcarrez/ada-servlet
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
ada servlet servlet-filter web
Last synced: 18 Jul 2025
https://github.com/jklmnn/stotp
SPARK TOTP library
2fa 2fa-security ada base32 formal-verification hotp spark totp
Last synced: 05 May 2025
https://github.com/frett27/ada-midi
Implementation of Midi / MidiFile reading and writing
Last synced: 25 Jul 2025
https://github.com/flyx/parsertools
tools for writing lexers / parsers in Ada
Last synced: 31 Mar 2025
https://github.com/jeremygrosser/tiny_text
Low resolution bitmap font with a small memory footprint
Last synced: 17 Aug 2025
https://github.com/rocher/mold
Meta-variable Operations for Lean Development
ada alire-crate template template-engine template-project
Last synced: 21 Jan 2026
https://github.com/flyx/ParserTools
tools for writing lexers / parsers in Ada
Last synced: 14 Mar 2025
https://github.com/mgrojo/play_2048
2048 game: merge equal tiles until you add up to 2048
Last synced: 26 Jul 2025
https://github.com/smerrony/keypadder
Keypadder is a programmable virtual keypad you can access via a mobile phone or tablet
ada keyboard keypad linux macro macropad mobile programmable tablet
Last synced: 30 Apr 2025
https://github.com/frett27/Ada-Midi
Implementation of Midi / MidiFile reading and writing
Last synced: 14 Mar 2025
https://github.com/zertovitch/ini-files
Ini file manager: a standalone, portable Ada package for configuration files
ada ada-language ada-library cfg-files config configuration-file configuration-files ini-parser
Last synced: 14 Mar 2025
https://github.com/lucretia/jni
Ada bindings to the Java 11 Native Interface API.
ada ada2012 binding-for-java bindings gnat java java-native-interface java11 jni
Last synced: 04 Oct 2025
https://github.com/stcarrez/ada-lzma
Ada binding for liblzma compression library
Last synced: 04 Mar 2025
https://github.com/jrcarter/Encryption-utilities
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
ada encryption-decryption threefish xor
Last synced: 14 Mar 2025
https://github.com/frett27/Ada-Sodoku
Small Library for Sodoku grid solving / finding
ada ada-sodoku bignumber bruteforce combinatory-library
Last synced: 14 Mar 2025
https://github.com/Cre8or/ImGui-Ada
An Ada binding for the Dear ImGui library.
ada ada-binding gamedev gui imgui ui
Last synced: 13 May 2025
https://github.com/Alex-Gamper/Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
ada ada-netframework gcc gnat netframework
Last synced: 14 Mar 2025
https://github.com/mewmewdevart/starttech2023
👩🏿💻 | Minhas soluções desenvolvidas durante a segunda edição do programa Start <Tech>, da Universidade TOTVS , em parceria com a Ada Tech e o Instituto da Oportunidade Social.
ada angular css html starttech totvs typescript
Last synced: 26 Feb 2025
https://github.com/frett27/ada-sodoku
Small Library for Sodoku grid solving / finding
ada ada-sodoku bignumber bruteforce combinatory-library
Last synced: 27 Mar 2025
https://github.com/andrewarrow/wolfservers
create cardano or algorand proof-of-stake nodes at places like aws, digitalocean, vultr, linode, google, and more.
ada algorand banking blockchain cardano cardano-cli cardano-node cyrptocurrency digitalocean linode proof-of-stake vms vultr
Last synced: 02 Mar 2025
https://github.com/roldak/madarch
Ray marching engine in Ada
ada distance-fields global-illumination opengl raymarching real-time rendering
Last synced: 12 Oct 2025
https://github.com/joseaverde/adatyper
Adatyper is a typing game written in the Ada programming language using ANSI escape code sequences.
ada ansi-escape-sequences game typing
Last synced: 07 May 2025
https://github.com/reznikmm/jupyter
Jupyter Client API in Ada
ada jupyter-kernels programming
Last synced: 18 Jan 2026
https://github.com/aldantanneo/bigints
WIP constant time bigint implementation in SPARK
ada bigint cryptography formal-verification spark
Last synced: 09 Aug 2025
https://github.com/stcarrez/stm32-ui
STM32 UI library and tools
ada display display-manager stm32 ui
Last synced: 16 Jun 2025
https://github.com/xyproto/rangetype
:1234: Mini-language/DSL for defining and dealing with ranges of numbers
ada dsl foreach go mini-language ranges
Last synced: 27 Apr 2026
https://github.com/docandrew/YOTROC
Assembler/Emulator for Fictional YOTROC Architecture
Last synced: 14 Mar 2025
https://github.com/zertovitch/texcad
TeXCAD: a simple LaTeX {picture} drawing tool
ada ada-language drawing graphics latex tex vector-graphics
Last synced: 14 Mar 2025
https://github.com/brentseidel/pi-mainframe
Simulated mainframe computer based on a Raspberry Pi
ada hardware kicad-schematics latex-document raspberry-pi
Last synced: 29 Oct 2025
https://github.com/smerrony/easy_graphics
Easy_Graphics is a simple library for generating graphical output from your Ada program
ada alire gif graphics ppm turtle-graphics
Last synced: 10 Oct 2025
https://github.com/stcarrez/ada-stemmer
Multi natural language stemmer with Snowball generator
Last synced: 10 Jul 2025
https://github.com/sketchbuch/obsidian-accessibility-kb
An information resource to store information collected about Accessibility (A11y), WCAG, ARIA, and the European Accessibiity Act. Although made in Markdown, this is an Obsidian Vault and is best viewed with Obsidian.
a11y accessibility ada aria assistive-technology knowledge-base obsidian obsidian-vault screen-readers wai-aria wcag wcag2 webinars
Last synced: 10 Apr 2025
https://github.com/reznikmm/increment
Incremental analysis in Ada
ada incremental parsing syntax-analysis
Last synced: 18 Jan 2026
https://github.com/andreacervetti/buttons
A Button Mania game written in Ada
Last synced: 14 Mar 2025
https://github.com/entomy/ada-improvements
Repository of Ada language improvement ideas
ada ada-lang language language-design
Last synced: 23 Nov 2025
https://github.com/reznikmm/acme-ada
ACME implementation in Ada
acme acme-client ada programming
Last synced: 18 Jan 2026
https://github.com/Alex-Gamper/Ada-Win32
Ada bindings for the Microsoft Win32 Api
Last synced: 14 Mar 2025
https://github.com/tomasfn87/calcular-digitos-verificar-cpf
Baixar ferramenta CLI Linux aqui! - Como calcular os dígitos verificadores de um CPF; em Python, TypeScript, Go, Rust, Lua, Java, C++, C#, C, Zig, Ruby, PHP, Odin, Julia, Perl, Ada, Elixir, R, D, COBOL, Pascal, Smalltalk, Lisp, Fortran 90, Algol 68, Mojo, Ring e Haskell.
ada c cli-app cobol csharp go java julia lisp lua luajit odin-lang pascal perl php8 python ruby rust typescript zig
Last synced: 30 Oct 2025
https://github.com/primaryobjects/cardanomsg
Store and retrieve text or JSON in the Cardano blockchain metadata.
ada bitcoin blockchain cardano crypto metadata pypi pypi-package python transaction
Last synced: 16 May 2025
https://github.com/3urobeat/ada-output-logger
📝 Make Ada logging finally intuitive [WIP]
Last synced: 07 Mar 2026
https://github.com/brentseidel/bbs-ada
The root package for all of my Ada library projects
ada units-measures-converter units-of-measurement
Last synced: 06 Mar 2026
https://github.com/reznikmm/anagram
Grammar handling and parser generation Ada library
ada grammars parsing syntax-analysis
Last synced: 18 Jan 2026
https://github.com/indirivacua/ada-tasks
Práctica 5 de la materia Programación Concurrente correspondiente a la carrera Ingeniería en Computación dictada en la Facultad de Informática, UNLP.
Last synced: 27 Oct 2025
https://github.com/ekoeppen/stm32_generic_ada_drivers
Peripheral drivers based on Ada generic packages for STM32 microcontrollers
Last synced: 24 Jan 2026
https://github.com/skynettechnologies/strapi-plugin-all-in-one-accessibility
Website accessibility widget for improving WCAG 2.0, 2.1, 2.2 and ADA compliance!
accessibility ada all-in-one-accessibility app plugin strapi strapi-plugin wcag widget
Last synced: 29 Jul 2025
https://github.com/stcarrez/ada-rest-api-server-benchmark
Benchmark for REST api on Ada servers
ada ada-servers benchmark java-container
Last synced: 05 Jun 2026
https://github.com/frett27/ada-ga
Genetic Algorithm Implementation for Ada
ada algorithm chromosome crossover generic genetic-algorithm library mutations simple
Last synced: 27 Mar 2025
https://github.com/dkm/click
Ada crate to build firmware for mechanical keyboard
ada embedded firmware mechanical-keyboard no-std
Last synced: 10 Jan 2026
https://github.com/heziode/aoc-ada-2021
Advent of Code 2021 in Ada
ada adaadventofcode21 advent-of-code advent-of-code-2021
Last synced: 25 Mar 2025
https://github.com/rocher/mold_lib
Meta-variable Operations for Lean Development
ada ada-library alire-crate template template-engine template-project
Last synced: 21 Jan 2026
https://github.com/abitofhelp/hybrid_app_ada
Hybrid DDD/Clean/Hexagonal application starter for Ada 2022
ada clean-architecture ddd generics hexagonal ports-and-adapters result-monad starter static-dispatch template
Last synced: 13 Jan 2026
https://github.com/brentseidel/ada-arduino-due
Ada programming on the Arduino Due
Last synced: 20 May 2026
https://github.com/brentseidel/ada-lisp-embedded
Extensions to the Tiny Lisp language for embedded applications
ada lisp lisp-dialect lisp-interpreter
Last synced: 29 Dec 2025
https://github.com/omonimus1/ada-spark-car-assistant
🚗 ADA Spark Car' Assistant Prototype for Formal Approches to software Engineer at Napier University
ada ada-spark napier-university spark
Last synced: 16 May 2026
https://github.com/justinribeiro/toggle-tooltip
An accessible, fast, and WCAG 2.1 compliant toggle style tooltip web component using role=status.
accessibility ada tooltip web-component
Last synced: 26 Feb 2026
https://github.com/frett27/Ada-GA
Genetic Algorithm Implementation for Ada
ada algorithm chromosome crossover generic genetic-algorithm library mutations simple
Last synced: 14 Mar 2025
https://github.com/jwarwick/aoc_2020
Advent of Code 2020
ada advent-of-code aoc aoc2020
Last synced: 11 Feb 2026
https://github.com/brentseidel/ada-web-server
Simple web server in Ada to provide a front end for embedded systems
Last synced: 15 Feb 2026
https://github.com/lucretia/lispy
An implementation of a Lisp from Build your own Lisp written in Ada 2012.
ada ada-port ada2012 gnat lisp mpc port tutorial tutorial-exercises tutorial-sourcecode tutorials
Last synced: 16 Apr 2026
https://github.com/tomekw/testy
A test framework in Ada
ada tada testing-framework unit-testing
Last synced: 02 Apr 2026
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/ardeshirv/helloada
HelloAda is very simple application that is written in Ada programming language
Last synced: 06 Jun 2026
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/smerrony/simh_tapes
Simh_tape is an Ada package for handling magnetic tape images in the standard format used by SimH and many other computer simulators and emulators.
ada alire emulation magnetic-tape simh simulation vintage
Last synced: 25 Aug 2025
https://github.com/gmussi/ada-notifications
Checks a Cardano wallet and sends notifications when changes are detected: new rewards, balance change, pool changes fees, and more.
ada alarm blockchain cardano nodejs notifications push
Last synced: 11 May 2026
https://github.com/mgrojo/adasearch
Custom search engine for the Ada programming language
ada custom-search-google search-engine spark spark-ada
Last synced: 02 Feb 2026
https://github.com/stcarrez/hestia
Heat Controller
ada clock heating-control stm32
Last synced: 08 Sep 2025