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-11-13 00:00:43 UTC
- JSON Representation
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: 15 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/frett27/Ada-Midi
Implementation of Midi / MidiFile reading and writing
Last synced: 26 Oct 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: 24 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: 26 Oct 2024
https://github.com/Cre8or/ImGui-Ada
An Ada binding for the Dear ImGui library.
ada ada-binding gamedev gui imgui ui
Last synced: 04 Aug 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: 15 Oct 2024
https://github.com/mgrojo/play_2048
2048 game: merge equal tiles until you add up to 2048
Last synced: 27 Oct 2024
https://github.com/andreacervetti/buttons
A Button Mania game written in Ada
Last synced: 25 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/xyproto/rangetype
:1234: Mini-language/DSL for defining and dealing with ranges of numbers
ada dsl foreach go mini-language ranges
Last synced: 17 Oct 2024
https://github.com/docandrew/YOTROC
Assembler/Emulator for Fictional YOTROC Architecture
Last synced: 26 Oct 2024
https://github.com/stcarrez/stm32-ui
STM32 UI library and tools
ada display display-manager stm32 ui
Last synced: 04 Aug 2024
https://github.com/reznikmm/increment
Incremental analysis in Ada
ada incremental parsing syntax-analysis
Last synced: 26 Oct 2024
https://github.com/Alex-Gamper/Ada-Win32
Ada bindings for the Microsoft Win32 Api
Last synced: 26 Oct 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/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/reznikmm/anagram
Grammar handling and parser generation Ada library
ada grammars parsing syntax-analysis
Last synced: 26 Oct 2024
https://github.com/ekoeppen/stm32_generic_ada_drivers
Peripheral drivers based on Ada generic packages for STM32 microcontrollers
Last synced: 28 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/dkm/click
Ada crate to build firmware for mechanical keyboard
ada embedded firmware mechanical-keyboard no-std
Last synced: 27 Oct 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: 29 Oct 2024
https://github.com/frett27/ada-ga
Genetic Algorithm Implementation for Ada
ada algorithm chromosome crossover generic genetic-algorithm library mutations simple
Last synced: 15 Oct 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/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: 09 Aug 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/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/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/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/mgrojo/atgui
Ada binding for TGUI, a cross-platform GUI for SFML
ada binding cross-platform gui sfml tgui
Last synced: 27 Oct 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/flyx/freetypeada
FreeType binding for Ada 2012
ada freetype language-bindings
Last synced: 24 Oct 2024
https://github.com/portalnetwork/cns
🔍 Documents and implementations for the Cardano Name Service.
Last synced: 08 Nov 2024
https://github.com/Alex-Gamper/Ada-LanguageServer
Prototype implementation of LSP client - Visual Studio 2017
Last synced: 26 Oct 2024
https://github.com/martinmoene/scrape-vattenfall
Scrape Vattenfall web page with daily electricity usage.
ada command-line-tool python text-processing
Last synced: 29 Oct 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: 15 Oct 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/or13/countess-ada
W3C Web Accessibility with Verifiable Credentials Demo
Last synced: 03 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/fastrgv/HungarianAlgorithm
Fully functional Hungarian Algorithm implementation in Ada
ada hungarian-algorithm kuhn kuhn-munkres munkres
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: 16 Oct 2024
https://github.com/drakmord2/rec-compiler
A compiler for the REC language implemented in Java.
Last synced: 08 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/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/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/flyx/FreeTypeAda
FreeType binding for Ada 2012
ada freetype language-bindings
Last synced: 26 Oct 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/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: 31 Oct 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/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/lucretia/ada-utilities
VSCode extension for Ada.
ada vscode vscode-extension vscode-plugin
Last synced: 07 Nov 2024
https://github.com/mkungla/experiments
Plutus experiments
ada cardano cardano-community plutus
Last synced: 02 Nov 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/jklmnn/wiringPi-Ada
Ada bindings for wiringPi
ada raspberry-pi raspberrypi wiring-pi wiringpi wiringpi-library
Last synced: 26 Oct 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: 25 Oct 2024
https://github.com/akagi201/learning-cardano
Codes and Notes while learning cardano
Last synced: 11 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: 27 Oct 2024
https://github.com/mgrojo/open_url
Open "*.url" files under Linux
ada browser internetshortcut open url xdg
Last synced: 27 Oct 2024
https://github.com/npizan/ProgLang
Code for Programming Languages course
ada prolog scheme school-project
Last synced: 23 Oct 2024
https://github.com/ids1024/ada-android-docker
Docker recipe for GNU GNAT based Ada cross-toolchain targeting Android
Last synced: 13 Oct 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: 05 Nov 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: 05 Nov 2024
https://github.com/tim-w-james/ada-reference-code
Useful reference code for using Ada for concurrent operations
Last synced: 05 Nov 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/jklmnn/wiringpi-ada
Ada bindings for wiringPi
ada raspberry-pi raspberrypi wiring-pi wiringpi wiringpi-library
Last synced: 13 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
