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/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: 26 Oct 2024
https://github.com/stcarrez/ada-servlet
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
ada servlet servlet-filter web
Last synced: 15 Nov 2024
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: 19 Nov 2024
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: 26 Oct 2024
https://github.com/thindil/Ada-Bundle
Maintained complete Ada-Mode for Vim/NeoVim
Last synced: 25 Oct 2024
https://github.com/jklmnn/STOTP
SPARK TOTP library
2fa 2fa-security ada base32 formal-verification hotp spark totp
Last synced: 26 Oct 2024
https://github.com/brentseidel/bbs-ada-widgets
A collection of Gtk widgets written in Ada for use with Gtkada
Last synced: 19 Nov 2024
https://github.com/jklmnn/stotp
SPARK TOTP library
2fa 2fa-security ada base32 formal-verification hotp spark totp
Last synced: 13 Nov 2024
https://github.com/zertovitch/wasabee
Wasabee: a Web browser with safety focus. Project is in early development stage.
Last synced: 26 Oct 2024
https://github.com/frett27/ada-midi
Implementation of Midi / MidiFile reading and writing
Last synced: 06 Dec 2024
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: 13 Oct 2024
https://github.com/flyx/ParserTools
tools for writing lexers / parsers in Ada
Last synced: 26 Oct 2024
https://github.com/frett27/Ada-Midi
Implementation of Midi / MidiFile reading and writing
Last synced: 26 Oct 2024
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: 12 Nov 2024
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: 26 Oct 2024
https://github.com/stcarrez/ada-lzma
Ada binding for liblzma compression library
Last synced: 15 Nov 2024
https://github.com/flyx/parsertools
tools for writing lexers / parsers in Ada
Last synced: 12 Dec 2024
https://github.com/Cre8or/ImGui-Ada
An Ada binding for the Dear ImGui library.
ada ada-binding gamedev gui imgui ui
Last synced: 18 Nov 2024
https://github.com/Alex-Gamper/Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
ada ada-netframework gcc gnat netframework
Last synced: 26 Oct 2024
https://github.com/frett27/Ada-Sodoku
Small Library for Sodoku grid solving / finding
ada ada-sodoku bignumber bruteforce combinatory-library
Last synced: 26 Oct 2024
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: 26 Oct 2024
https://github.com/frett27/ada-sodoku
Small Library for Sodoku grid solving / finding
ada ada-sodoku bignumber bruteforce combinatory-library
Last synced: 06 Dec 2024
https://github.com/reznikmm/increment
Incremental analysis in Ada
ada incremental parsing syntax-analysis
Last synced: 26 Oct 2024
https://github.com/mgrojo/play_2048
2048 game: merge equal tiles until you add up to 2048
Last synced: 14 Dec 2024
https://github.com/stcarrez/stm32-ui
STM32 UI library and tools
ada display display-manager stm32 ui
Last synced: 15 Nov 2024
https://github.com/stcarrez/ada-stemmer
Multi natural language stemmer with Snowball generator
Last synced: 15 Nov 2024
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: 07 Dec 2024
https://github.com/docandrew/YOTROC
Assembler/Emulator for Fictional YOTROC Architecture
Last synced: 26 Oct 2024
https://github.com/zertovitch/texcad
TeXCAD: a simple LaTeX {picture} drawing tool
ada ada-language drawing graphics latex tex vector-graphics
Last synced: 26 Oct 2024
https://github.com/brentseidel/pi-mainframe
Simulated mainframe computer based on a Raspberry Pi
ada hardware kicad-schematics latex-document raspberry-pi
Last synced: 11 Oct 2024
https://github.com/andreacervetti/buttons
A Button Mania game written in Ada
Last synced: 25 Oct 2024
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: 03 Dec 2024
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: 09 Nov 2024
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: 13 Oct 2024
https://github.com/roldak/madarch
Ray marching engine in Ada
ada distance-fields global-illumination opengl raymarching real-time rendering
Last synced: 02 Dec 2024
https://github.com/ekoeppen/stm32_generic_ada_drivers
Peripheral drivers based on Ada generic packages for STM32 microcontrollers
Last synced: 15 Dec 2024
https://github.com/jeremygrosser/tiny_text
Low resolution bitmap font with a small memory footprint
Last synced: 17 Nov 2024
https://github.com/Alex-Gamper/Ada-Win32
Ada bindings for the Microsoft Win32 Api
Last synced: 26 Oct 2024
https://github.com/reznikmm/anagram
Grammar handling and parser generation Ada library
ada grammars parsing syntax-analysis
Last synced: 26 Oct 2024
https://github.com/stcarrez/ada-rest-api-server-benchmark
Benchmark for REST api on Ada servers
ada ada-servers benchmark java-container
Last synced: 15 Nov 2024
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: 12 Oct 2024
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: 16 Oct 2024
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: 14 Dec 2024
https://github.com/frett27/Ada-GA
Genetic Algorithm Implementation for Ada
ada algorithm chromosome crossover generic genetic-algorithm library mutations simple
Last synced: 26 Oct 2024
https://mgrojo.github.io/adasearch/
Custom search engine for the Ada programming language
ada custom-search-google search-engine spark spark-ada
Last synced: 28 Nov 2024
https://github.com/mgrojo/adasearch
Custom search engine for the Ada programming language
ada custom-search-google search-engine spark spark-ada
Last synced: 27 Oct 2024
https://github.com/brentseidel/numerical
A collection of Generic Ada packages for basic numerical analysis
ada numerical-analysis numerical-integration numerical-methods
Last synced: 19 Nov 2024
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: 12 Nov 2024
https://github.com/jwarwick/aoc_2020
Advent of Code 2020
ada advent-of-code aoc aoc2020
Last synced: 08 Nov 2024
https://github.com/onox/weechat-emoji
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
ada emoji weechat weechat-plugin
Last synced: 26 Oct 2024
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: 19 Nov 2024
https://github.com/ardeshirv/helloada
HelloAda is very simple application that is written in Ada programming language
Last synced: 16 Nov 2024
https://github.com/frett27/ada-ga
Genetic Algorithm Implementation for Ada
ada algorithm chromosome crossover generic genetic-algorithm library mutations simple
Last synced: 06 Dec 2024
https://github.com/zertovitch/engine-3d
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
3d-engine ada ada-language software-rendering
Last synced: 25 Oct 2024
https://github.com/stcarrez/hestia
Heat Controller
ada clock heating-control stm32
Last synced: 15 Nov 2024
https://github.com/dkm/click
Ada crate to build firmware for mechanical keyboard
ada embedded firmware mechanical-keyboard no-std
Last synced: 15 Dec 2024
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: 07 Nov 2024
https://github.com/alvarogarciapiz/ada-playground
Creación de una lista simplemente enlazada con una serie de nombres que se leen de un fichero en el lenguaje de programación ADA (tiempo real).
Last synced: 21 Nov 2024
https://github.com/heziode/aoc-ada-2021
Advent of Code 2021 in Ada
ada adaadventofcode21 advent-of-code advent-of-code-2021
Last synced: 03 Dec 2024
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: 17 Dec 2024
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: 06 Dec 2024
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: 25 Nov 2024
https://github.com/lkujaw/blake2s
The BLAKE2s hash function for SPARK83 [Ada (1987)]
ada ada1987 blake2 blake2s hash mit-license spark-ada
Last synced: 26 Oct 2024
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/fastrgv/HungarianAlgorithm
Fully functional Hungarian Algorithm implementation in Ada
ada hungarian-algorithm kuhn kuhn-munkres munkres
Last synced: 26 Oct 2024
https://github.com/Alex-Gamper/Ada-LanguageServer
Prototype implementation of LSP client - Visual Studio 2017
Last synced: 26 Oct 2024
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: 06 Dec 2024
https://github.com/jeremygrosser/the_grid
A game demo for the Pimoroni Picosystem
ada alire game gnat picosystem pimoroni rp2040
Last synced: 17 Nov 2024
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: 26 Oct 2024
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: 02 Dec 2024
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: 26 Oct 2024
https://github.com/mgrojo/atgui
Ada binding for TGUI, a cross-platform GUI for SFML
ada binding cross-platform gui sfml tgui
Last synced: 14 Dec 2024
https://github.com/martinmoene/scrape-vattenfall
Scrape Vattenfall web page with daily electricity usage.
ada command-line-tool python text-processing
Last synced: 17 Dec 2024
https://github.com/bmwant/scamtoken
SCAM token webpage
ada blockchain cardano coin crypto cryptocurrency defi dex nft scam token
Last synced: 10 Dec 2024
https://github.com/brentseidel/ada-web-server
Simple web server in Ada to provide a front end for embedded systems
Last synced: 19 Nov 2024
https://github.com/flyx/freetypeada
FreeType binding for Ada 2012
ada freetype language-bindings
Last synced: 12 Dec 2024
https://github.com/or13/countess-ada
W3C Web Accessibility with Verifiable Credentials Demo
Last synced: 21 Dec 2024
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: 12 Nov 2024
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: 07 Nov 2024
https://github.com/flyx/FreeTypeAda
FreeType binding for Ada 2012
ada freetype language-bindings
Last synced: 26 Oct 2024