Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 2024-12-22 00:00:53 UTC
- JSON Representation
https://github.com/drakmord2/rec-compiler
A compiler for the REC language implemented in Java.
Last synced: 08 Nov 2024
https://github.com/brentseidel/ada-lisp-embedded
Extensions to the Tiny Lisp language for embedded applications
ada lisp lisp-dialect lisp-interpreter
Last synced: 19 Nov 2024
https://github.com/Lucretia/ada-vscode
Basic syntax highlighting for Ada and GPR
ada ada-vscode vscode-extension
Last synced: 25 Oct 2024
https://github.com/atpstorages/checksum
Algorithms for error-checking
ada adler32 checking crc crc32 error error-checking redundancy
Last synced: 12 Dec 2024
https://github.com/lucretia/ada-vscode
Basic syntax highlighting for Ada and GPR
ada ada-vscode vscode-extension
Last synced: 07 Nov 2024
https://github.com/brentseidel/ada-arduino-due
Ada programming on the Arduino Due
Last synced: 19 Nov 2024
https://github.com/bread-experts-group/byteflip
Byte flipper for modular types
ada big-endian byte endian flip little-endian lsb msb swap
Last synced: 06 Dec 2024
https://github.com/portalnetwork/cns
🔍 Documents and implementations for the Cardano Name Service.
Last synced: 08 Nov 2024
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/xavier-maruff/bft
An optimizing multi-target brainf*ck transpiler
ada brainfuck brainfuck-transpiler c compiler cpp fortran90 js rust transpiler
Last synced: 22 Nov 2024
https://github.com/musevarg/ada-spark-plane-autopilot
A pilot assistance system for a plane written in the ADA SPARK language.
Last synced: 25 Nov 2024
https://github.com/akutchi/lovetrace
a path tracing project in ada
ada image-synthesis path-tracing
Last synced: 25 Nov 2024
https://github.com/akutchi/french-nomaian
A nomai's language generator adapted for french.
ada gtkada language nomai outer-wilds
Last synced: 25 Nov 2024
https://github.com/mgrojo/open_url
Open "*.url" files under Linux
ada browser internetshortcut open url xdg
Last synced: 14 Dec 2024
https://github.com/lucretia/fizzbuzz
Ada implementations of fizz buzz
ada ada2012 cc0 example example-code fizz-buzz fizzbuzz interview-questions learning
Last synced: 07 Nov 2024
https://github.com/lucretia/ada-utilities
VSCode extension for Ada.
ada vscode vscode-extension vscode-plugin
Last synced: 07 Nov 2024
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: 14 Dec 2024
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: 22 Dec 2024
https://github.com/tim-w-james/ada-reference-code
Useful reference code for using Ada for concurrent operations
Last synced: 22 Dec 2024
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: 03 Dec 2024
https://github.com/aldantanneo/bigints
WIP constant time bigint implementation in SPARK
ada bigint cryptography formal-verification spark
Last synced: 03 Dec 2024
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: 13 Nov 2024
https://github.com/brentseidel/arduino-sensor-network
A network of Arduinos with sensors
ada arduino communication embedded-systems rs485
Last synced: 19 Nov 2024
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: 06 Nov 2024
https://github.com/tim-w-james/gliding-in-space
Example of a concurrent communication system - part of a Uni assignment
Last synced: 22 Dec 2024
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: 12 Nov 2024
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: 19 Nov 2024
https://github.com/byllgrim/iictl
Control program for ii - Manage server/channel connections
ada cc0 experimental fifo ii irc kiss minimal
Last synced: 08 Nov 2024
https://github.com/ndf-web-dev/code-refactor
Code refactoring website project.
a11y accessibility ada css documentation html refactoring refactoring-exercise seo
Last synced: 08 Nov 2024
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: 08 Nov 2024
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: 18 Dec 2024
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/Lucretia/ada-utilities
VSCode extension for Ada.
ada vscode vscode-extension vscode-plugin
Last synced: 25 Oct 2024
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: 03 Dec 2024
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: 14 Nov 2024
https://github.com/mmahut/cardano.beer
Website for cardano.beer
ada beer cardano cryptocurrency
Last synced: 12 Nov 2024
https://github.com/akagi201/learning-cardano
Codes and Notes while learning cardano
Last synced: 11 Nov 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
https://github.com/aztek/6nimmt
An Ada 2012 text terminal implementation of the board game 6 Nimmt!.
Last synced: 05 Dec 2024
https://github.com/imgabreuw/ada-ifood-data-science
Trilha de Data Science do curso em parceria entre Ifood e Ada.
Last synced: 03 Dec 2024
https://github.com/jklmnn/wiringpi-ada
Ada bindings for wiringPi
ada raspberry-pi raspberrypi wiring-pi wiringpi wiringpi-library
Last synced: 13 Nov 2024
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: 15 Nov 2024
https://github.com/ids1024/ada-android-docker
Docker recipe for GNU GNAT based Ada cross-toolchain targeting Android
Last synced: 23 Nov 2024
https://github.com/npizan/ProgLang
Code for Programming Languages course
ada prolog scheme school-project
Last synced: 23 Oct 2024
https://github.com/canalada-org/Wikilibro_Ada
CĂłdigo fuente de los ejemplos del wikilibro "ProgramaciĂłn en Ada"
Last synced: 23 Oct 2024
https://github.com/jklmnn/wiringPi-Ada
Ada bindings for wiringPi
ada raspberry-pi raspberrypi wiring-pi wiringpi wiringpi-library
Last synced: 26 Oct 2024
https://github.com/atpstorages/compression
Algorithms for data compression
ada compression deflate flate inflate jpeg zlib
Last synced: 12 Dec 2024
https://github.com/m7a/bo-tar-ada
Ada library for writing Tar and PAX archives (typical file extension `.tar`).
Last synced: 08 Nov 2024
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: 18 Nov 2024
https://github.com/jonny-binns/fase-coursework
Coursework for the Formal Approaches to Software Engineering module taken in 4th year
Last synced: 18 Nov 2024
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: 30 Nov 2024
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: 20 Nov 2024
https://github.com/neal-c/hello_ada
Ada programming language - for curiosity
Last synced: 07 Dec 2024
https://github.com/mkungla/experiments
Plutus experiments
ada cardano cardano-community plutus
Last synced: 20 Dec 2024
https://github.com/sushyk/trafficcontrolsystem
A simplified Traffic Control System
Last synced: 21 Nov 2024
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: 23 Nov 2024
