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: 2025-04-28 00:01:00 UTC
JSON Representation

https://github.com/lkujaw/blake2s

The BLAKE2s hash function for SPARK83 [Ada (1987)]

ada ada1987 blake2 blake2s hash mit-license spark-ada

Last synced: 14 Mar 2025

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: 14 Mar 2025

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: 14 Mar 2025

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: 18 Mar 2025

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/or13/countess-ada

W3C Web Accessibility with Verifiable Credentials Demo

ada did vc w3c

Last synced: 07 Apr 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/flyx/freetypeada

FreeType binding for Ada 2012

ada freetype language-bindings

Last synced: 31 Mar 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: 15 Mar 2025

https://github.com/lucretia/cgpiogl

Computer Graphics Programming in OpenGL (and C++), but in Ada 2022

ada ada2022 avx gl4 glsl graphics maths matrices matrix opengl shaders vectors

Last synced: 14 Mar 2025

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/sk1ppi-archived/learn_meshjs_building_transactions

Simple transactions using Mesh JS (cardano) using CLI generated keys, mnemonic seed phrase and private keys.

ada cardano mesh-js

Last synced: 23 Mar 2025

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: 17 Nov 2024

https://github.com/kimpro82/mylegacypractice

Old School Party!

ada basic cobol fortran

Last synced: 12 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

ada cmark markdown

Last synced: 01 Apr 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/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/mytbk/advent_of_code

My advent of code solutions

ada advent-of-code

Last synced: 19 Feb 2025

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: 03 Dec 2024

https://github.com/portalnetwork/cns

🔍 Documents and implementations for the Cardano Name Service.

ada blockchain cardano cns

Last synced: 20 Feb 2025

https://github.com/lucretia/ada-vscode

Basic syntax highlighting for Ada and GPR

ada ada-vscode vscode-extension

Last synced: 17 Feb 2025

https://github.com/bmwant/scamtoken

SCAM token webpage

ada blockchain cardano coin crypto cryptocurrency defi dex nft scam token

Last synced: 17 Mar 2025

https://github.com/schwering/regexp

A regular expression library for Ada with support for intersection, union, etc.

ada regular-expressions

Last synced: 02 Mar 2025

https://github.com/schwering/db6

A column-oriented database management system, written in Ada

ada database dbms fun-project

Last synced: 02 Mar 2025

https://github.com/drakmord2/rec-compiler

A compiler for the REC language implemented in Java.

ada compiler java

Last synced: 21 Feb 2025

https://github.com/musevarg/ada-spark-plane-autopilot

A pilot assistance system for a plane written in the ADA SPARK language.

ada ada-spark spark

Last synced: 20 Mar 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: 20 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 Mar 2025

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: 27 Mar 2025

https://github.com/kyledoesdev/engineeringconvention

Rowan University Programming Languages Course Homework, Labs and Examples in Scheme, Ada, Prolog and Python

ada prolog python rowan scheme

Last synced: 28 Feb 2025

https://github.com/akutchi/lovetrace

a path tracing project in ada

ada image-synthesis path-tracing

Last synced: 20 Mar 2025

https://github.com/thindil/roboada

Add Robodoc templates to Ada code

ada robodoc

Last synced: 01 Apr 2025

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 Feb 2025

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: 13 Mar 2025

https://github.com/nilssonk/aoc2020_ada

Ada solutions for Advent of Code 2020

ada advent-of-code advent-of-code-2020

Last synced: 08 Apr 2025

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: 16 Mar 2025

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: 20 Feb 2025

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++

ada cpp graphics zig

Last synced: 25 Mar 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: 11 Mar 2025

https://github.com/sushyk/trafficcontrolsystem

A simplified Traffic Control System

ada gnat verification

Last synced: 15 Mar 2025

https://github.com/m7a/bo-tar-ada

Ada library for writing Tar and PAX archives (typical file extension `.tar`).

ada pax tar

Last synced: 21 Feb 2025

https://github.com/m7a/bo-blake3-ada

BLAKE3 Implementation in Ada

ada blake3

Last synced: 21 Feb 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: 01 Mar 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.

accessibility ada django

Last synced: 26 Mar 2025

https://github.com/imgabreuw/ada-ifood-data-science

Trilha de Data Science do curso em parceria entre Ifood e Ada.

ada data-science ifood

Last synced: 26 Mar 2025

https://github.com/canalada-org/Wikilibro_Ada

Código fuente de los ejemplos del wikilibro "Programación en Ada"

ada examples learning

Last synced: 10 Mar 2025

https://github.com/akagi201/learning-cardano

Codes and Notes while learning cardano

ada cardano

Last synced: 26 Feb 2025

https://github.com/lucretia/net_time

This is an Ada 2012 library that implements the internet time protocol RFC-3339

ada ada2012 gnat internet net-time protocol rfc-3339 rfc3339

Last synced: 17 Feb 2025

https://github.com/byllgrim/iictl

Control program for ii - Manage server/channel connections

ada cc0 experimental fifo ii irc kiss minimal

Last synced: 21 Feb 2025

https://github.com/jf17/ada-hello

ada

Last synced: 01 Mar 2025

https://github.com/atpstorages/img-png

PNG (de)/(en)coder tools

ada coder decoder encoder file format png reader writer

Last synced: 30 Mar 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/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: 04 Mar 2025

https://github.com/newlandtv/baekjoon-online-judge

This repository is where problems solved on the Baekjoon Online Judge site are uploaded.

ada aheui algorithm algorithm-problem-solving baekjoon baekjoon-online-judge c cpp freebasic python

Last synced: 14 Mar 2025

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/reznikmm/gela

Ada code analyzer

ada

Last synced: 14 Mar 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: 03 Mar 2025

https://github.com/akutchi/gsat

A transpilor from Sugar Ada to Ada

ada transpilor

Last synced: 22 Feb 2025

https://github.com/Lucretia/ada-utilities

VSCode extension for Ada.

ada vscode vscode-extension vscode-plugin

Last synced: 14 Mar 2025

https://github.com/BrunoDorea/jogo-da-forca

Projeto do tutorial de "Como fazer jogos com Python " da Let’s Code from Ada.

ada lets-code python

Last synced: 27 Jan 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 🇺🇸

accessibility ada html

Last synced: 17 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/wooster0/aoc-2022

Advent of Code 2022

ada advent-of-code advent-of-code-2022 aoc aoc-2022 aoc2022 bash c cpp rust zig

Last synced: 18 Feb 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: 17 Feb 2025

https://github.com/ids1024/ada-android-docker

Docker recipe for GNU GNAT based Ada cross-toolchain targeting Android

ada android docker gcc

Last synced: 17 Mar 2025

https://github.com/m7a/bo-lz4-ada

Ada LZ4 Extractor Library

ada lz4 lz4-frame

Last synced: 21 Feb 2025

https://github.com/lucretia/ada-utilities

VSCode extension for Ada.

ada vscode vscode-extension vscode-plugin

Last synced: 17 Feb 2025

https://github.com/jklmnn/wiringpi-ada

Ada bindings for wiringPi

ada raspberry-pi raspberrypi wiring-pi wiringpi wiringpi-library

Last synced: 02 Mar 2025

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/aztek/6nimmt

An Ada 2012 text terminal implementation of the board game 6 Nimmt!.

ada board-game spark

Last synced: 27 Mar 2025

https://github.com/brunodorea/jogo-da-forca

Projeto do tutorial de "Como fazer jogos com Python " da Let’s Code from Ada.

ada lets-code python

Last synced: 26 Mar 2025

https://github.com/akutchi/cpyc

A Simple C to Python Converter written in Ada

ada c parser python3

Last synced: 20 Mar 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: 01 Feb 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/tim-w-james/gliding-in-space

Example of a concurrent communication system - part of a Uni assignment

ada concurrent-programming

Last synced: 09 Apr 2025

https://github.com/neal-c/hello_ada

Ada programming language - for curiosity

ada ada-lang ada-language

Last synced: 28 Mar 2025

https://github.com/jonny-binns/fase-practicals

Contains the practice work and code from lectures in the Formal Approaches to Software Engineering Module

ada ada-spark spark

Last synced: 12 Mar 2025

https://github.com/jonny-binns/fase-coursework

Coursework for the Formal Approaches to Software Engineering module taken in 4th year

ada ada-spark

Last synced: 12 Mar 2025

https://github.com/jeremygrosser/threepi_bsp

Pololu 3pi 2040 Ada Support

3pi ada pio pololu robot rp2040 spark

Last synced: 05 Apr 2025

https://github.com/xframes-project/xframes-ada

GPU accelerated UI development for Ada

ada

Last synced: 18 Feb 2025

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: 13 Mar 2025

https://github.com/mgrojo/asnip

ASnip reads snippets of Ada source text, correct or incorrect, and produces output suitable for printing, viewing, or including.

ada snippet wikibooks

Last synced: 01 Apr 2025

https://github.com/brentseidel/weatherproject

Weather Station Project

ada raspberry-pi weather

Last synced: 13 Mar 2025

https://github.com/mkungla/experiments

Plutus experiments

ada cardano cardano-community plutus

Last synced: 06 Apr 2025

https://github.com/spxzzo/coincashew

Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides

ada blockchain cardano crypto cryptocurrency eth ethereum ethpillar fullnode homestaker node solostaking stakepool staking validator

Last synced: 02 Mar 2025

https://github.com/tim-w-james/ada-reference-code

Useful reference code for using Ada for concurrent operations

ada

Last synced: 09 Apr 2025

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: 23 Apr 2025

https://github.com/mmahut/cardano.beer

Website for cardano.beer

ada beer cardano cryptocurrency

Last synced: 28 Feb 2025

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

ada routing-algorithm

Last synced: 09 Apr 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: 13 Apr 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: 03 Dec 2024

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: 03 Dec 2024