awesome-ada
Ada resource hub
A curated collection of resources and tutorials for learning and using the Ada programming language.
A curated list of awesome resources related to the Ada and SPARK programming language
656 stars
49 watching
73 forks
last commit: almost 2 years agoLinked from 4 awesome lists
adaada-bindingada-frameworkada-languageada-libraryada-programsawesomeawesome-listgnatsparkspark-ada
Awesome Ada / Education / Entry Point | |||
| learn | Interactive learning platform designed to teach the Ada and SPARK programming languages | ||
| ada-lang-io | A community site for Ada | ||
| celebrating-ada | Ada history key moments | ||
| ada-logo-editor | The “Ada horizon” logo maker website | ||
Awesome Ada / Education / Tutorials | |||
| adacore-video-tutorials | AdaCore University Video Tutorials | ||
| ada-crash-course | Ada 2012 crash course under 50 pages from Vermont Technical College | ||
| simple-games | Learning Ada 2012 by writing simple games | ||
| spark-by-example | 154 | about 4 years ago | Collection of verified functions and data types in SPARK |
Awesome Ada / Education / Online Books | |||
| ada-wikibook | Ada Programming book at Wikibooks | ||
| ada-distilled | Ada Distilled for Ada 2005 | ||
| ada-craft | Ada 95: The Craft of Object-Oriented Programming | ||
| ada-cpp-java | Ada for the C++ or Java Developer | ||
| spark-guidance | Implementation Guidance for the Adoption of SPARK | ||
| ada-safe-secure | Safe and Secure Software. An invitation to Ada 2012 | ||
| ada-95-tutorial | A book going from beginner to advanced concepts in Ada 95, complete with source files | ||
Awesome Ada / Education / Specialties | |||
| gems | Ada Gem Archive | ||
| ada-composition | 8 | almost 7 years ago | A collections of small nifty demos/sample code that may help better layout data or structure project |
| ada-ic-learning | For additional learning resources, see the AdaIC learning section | ||
| ada-at-rosetta-code | A collection of programming tasks and their sample solutions in Ada | ||
Awesome Ada / Education / Reference | |||
| iso-standard | The 2022 revision to the Ada Standard, usually known as Ada 2022 | ||
| adalib | 20 | about 5 years ago | Standard Ada library specification as defined in Reference Manual |
| Ada 2022 Reference Card | 10 | about 2 years ago | Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library |
Awesome Ada / Community / Questions and Answers | |||
| gitter-ada | Ada channel at Gitter | ||
| comp-lang-ada | Ada Usenet newsgroup/forum | ||
| stack-overflow-ada-tag | Ada at Stack Overflow | ||
| subreddit-ada | Ada at Reddit | ||
| subreddit-spark | Spark at Reddit | ||
| telegram-ada | Ada group at Telegram | ||
| libera-chat-ada | Ada channel at IRC | ||
| matrix-ada | Ada room at Gitter via Matrix | ||
Awesome Ada / Community / News and Resources | |||
| adacore-blog | An insight into the AdaCore ecosystem | ||
| ada-europe | Ada-Europe is an international organization, set up to promote the use of Ada | ||
| acm-sig-ada | The Special Interest Group on Ada | ||
| ada-resource-association | Since 1990 the Ada Resource Association's principal mission has been “To ensure continued success of Ada users and promote Ada use in the software industry” | ||
| ada-information-clearinghouse | News and resources for the Ada programming language | ||
| ada-planet | News Aggregator from the Ada programming language world (v3) ( ) | ||
| adasearch | Custom search engines for finding anything related to the Ada and SPARK programming languages, without interference from other homonymous topics | ||
Awesome Ada / Compilers / Open source | |||
| gnat-ce | GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only | ||
| fsf-gnat | Free Software Foundation compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the language, i.e. Ada 2012, Ada 2005, Ada 95 and Ada 83 | ||
| hac | 127 | almost 2 years ago | HAC Ada Compiler - a small, quick Ada compiler fully in Ada |
| byron | 60 | over 6 years ago | Byron is a community project to build an Ada compiler, toolchain, and IDE-system |
| augusta | 28 | almost 2 years ago | Ada compiler written in Scala that targets LLVM |
Awesome Ada / Compilers / Commercial / Open source | |||
| gnat-pro | The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++ | ||
Awesome Ada / Compilers / Commercial / Closed source | |||
| janus-ada | Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language | ||
| object-ada | PTC ObjectAda is an extensive family of native and cross development tools and runtime environments | ||
| apex-ada | PTC ApexAda is one of the industry's most popular development environments for Ada and mixed Ada/C/C++ applications | ||
| greenhills-ada | Green Hills Software offers the industry's first, fully validated family of Ada Cross Compilers for real-time targets | ||
| xgc | XGC provide GCC-based bare-metal toolchains with Ada95 support for aerospace-specific targets such as MIL1750, ERC32 and LEON. As well as a legacy M68000 toolchain | ||
Awesome Ada / Compilers / Online | |||
| tutorials-point-ada-compiler | Online compiler built on the CodingGround engine | ||
| jdoodle-ada-compiler | Online compiler that provides multiple versions of GNAT to test with | ||
| compiler-explorer | Run GNAT FSF compilers interactively from your web browser and interact with the assembly | ||
Awesome Ada / Edit / Integrated Development Editors | |||
| ada-visual | Ada language integration for Visual Studio 2017 | ||
Awesome Ada / Edit / Editors | |||
| lea | 25 | almost 2 years ago | LEA, a Lightweight Editor for Ada, aims to provide an easy, script-world-like, "look & feel" for developing Ada projects of any size and level, while enabling access to full-scale development tools like GNAT. LEA includes HAC, the HAC Ada Compiler |
Awesome Ada / Edit / Text Modes | |||
| gnu-emacs-ada-mode | Gnu Emacs major-mode for editing Ada sources | ||
| vim-ada-bundle | 7 | over 5 years ago | Maintained Ada Bundle : Complete Ada-Mode for Vim/NeoVim |
| ada-tmbundle | 6 | over 11 years ago | TextMate support for Ada |
| bbedit-ada-module | BBEdit support for Ada | ||
| ob-ada-spark | 8 | almost 4 years ago | Ada/SPARK support for org-babel : Evaluate source code blocks with Gnu Emacs and org files |
Awesome Ada / Edit / VSCode Extensions | |||
| adacore-ada | Language Support for Ada. It includes | ||
| ada-vscode | 1 | about 7 years ago | Basic syntax highlighting for Ada and GPR |
| ada-utilities | 0 | over 3 years ago | VSCode extension Ada programmers which provides a few utility functions |
Awesome Ada / Deployment / Build and Package | |||
| alire | 295 | almost 2 years ago | A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam |
| alr2appimage | 12 | over 2 years ago | A tool for automatically creating an AppImage executable from an Alire crate |
| aura | 22 | almost 2 years ago | An integrated build and source/package management tool with a more hands-on versioning approach. Alternative to alire and gprbuild. Optimized for CI/CD pipelines |
| gprbuild | 68 | almost 2 years ago | Adacore multi-language software build tool |
| ravenadm | 18 | almost 2 years ago | Administration tool for Ravenports |
| synth | 254 | almost 2 years ago | Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools) |
| ada4cmake | 4 | about 6 years ago | CMake macros for simple gnat project inclusion |
| cmake-ada-offa | 12 | almost 12 years ago | Ada language support for CMake |
| cmake-ada-cho3 | 0 | almost 8 years ago | CMake language support for Ada, fork of 's cross-platform support code |
Awesome Ada / Deployment / Continuous Integration | |||
| continuous-verification | 9 | over 7 years ago | SPARK formal verification automated with Travis CI |
| ada-actions | 20 | over 4 years ago | Ada Toolchains for GitHub Actions |
| porion | Continuous integration server and agent that helps automate the building, testing and deployment | ||
Awesome Ada / Runtimes | |||
| bb-runtimes | 65 | almost 2 years ago | GNAT bare metal board support package (BSP) |
| avr-ada | GNAT for 8-bit AVR microcontrollers | ||
| ada-runtime | 33 | about 4 years ago | A downsized Ada runtime which can be adapted to different platforms |
| cortex-gnat-rts | 67 | almost 2 years ago | This package includes GNAT Ada Run Time Systems (RTSs) based on FreeRTOS and targeted at boards with Cortex-M0, M3, -M4, -M4F MCUs |
| adawebpack | 53 | almost 2 years ago | GNAT RTL for WASM and bindings for Web API |
Awesome Ada / OS and Kernels | |||
| m2os | RTOS with simple tasking support for small microcontrollers | ||
| marte-os | MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications | ||
| muen | An x86/64 Separation Kernel for High Assurance | ||
| ewok | 73 | over 5 years ago | EwoK is a microkernel targeting micro-controllers and embedded systems |
| bare-bones | 84 | almost 10 years ago | An Ada port of the minimal 32-bit x86 kernel |
| lovelace-os | Lovelace is an effort to write a Unix like operating system using the Ada 2012 language | ||
| ada-kalinda-os | Ada KALINDA is a sort of Mac Plus like OS written in Ada95 | ||
| cxos | 35 | almost 6 years ago | Ada Operating System development example |
| havk | 26 | over 5 years ago | x86-64 security-focused OS being created with SPARK |
| cubit | 78 | over 5 years ago | CuBitOS is a multi-processor, 64-bit, (partially) formally-verified, general-purpose operating system, currently for the x86-64 architecture |
| ironclad | A kernel for several architectures striving for POSIX compatibility, used on several distributions like | ||
| hirtos | 35 | about 2 years ago | A high-integrity RTOS written in SPARK Ada |
Awesome Ada / Games | |||
| steamsky | 94 | almost 2 years ago | Roguelike in sky with a steampunk setting |
| unity-ada-tetris | Tetris, in Ada, for the Unity game engine | ||
| tictactoe | 3 | about 9 years ago | A tictactoe game written and proven in SPARK/Ada |
| ada-gate | 20 | about 2 years ago | AdaGate is a first-person 3D sokoban puzzle game within a Stargate / Portal fantasy setting for Windows, OS-X and Linux |
| rufas-cube | 4 | about 2 years ago | RufasCube is a puzzle game for Windows, OS-X and GNU Linux (it looks like a rubic cube but it's a slider, not a twister) |
| ada-venture | 15 | about 2 years ago | AdaVenture is a kid-friendly retro point&click game with mazes, dragons, bats & snakes |
| co-terminal-apps | 26 | almost 3 years ago | Retro Games that run in a terminal on any platform |
| world-cup-sokerban | 3 | almost 2 years ago | This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, Mac OS-X and GNU Linux |
| pasta | Pasta! is a game of the "match-3" genre, implemented in | ||
| buttons | 4 | over 7 years ago | A simple Button Mania game |
| mine-detector | 3 | over 4 years ago | Mine Detector: a mine-finding game that never requires guessing |
| play-2048 | 4 | almost 3 years ago | Play 2048! is a clone of the popular 2048 game, implemented in Ada using for graphics and for saving state |
| bingada | 8 | about 3 years ago | Bingo application in |
| civ-klon | 20 | almost 2 years ago | Civilization-style turn-based strategy game. Requires |
| eepers | 351 | over 2 years ago | A simple Turn-based Game in Ada (made with ) |
Awesome Ada / Frameworks / Components | |||
| simple-components | ASN.1, MQTT client and server/broker implementation, B-trees, Multiple connection TCP servers, Chebyshev series, Mutexes, Cryptography, Objects and handles to, Doubly-linked webs and lists, ODBC bindings, Blackboards (lock-free), OpenSSL bindings, ELV/eQ-3 MAX! client implementation, Parsers, Events (plain, pulse, array of), Persistent objects and handles to, GNUTLS bindings, Persistent storage and handles to, Graphs (directed, weighted, acyclic, trees), Pools, HTTP implementation, Sets and maps, FIFO (lock-free), SMTP client implementation, IEEE 754, SQLite bindings, Inter-process communication, Stacks, Interfacing Julia language, Streams, JSON, Strings editing, LDAP, Tables (maps of strings), MODBUS client implementation, Unbounded arrays | ||
| ada-util | 70 | almost 2 years ago | A logging framework close to Java log4j framework, support for properties, serialization/deserialization framework for XML/JSON/CSV, Ada beans framework, encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA), a composing stream framework (raw, files, buffers, pipes, sockets), several concurrency tools (reference counters, counters, pools, fifos, arrays), process creation and pipes, support for loading shared libraries (on Windows or Unix), HTTP client library on top of CURL or AWS |
| gnatcoll-core | 45 | almost 2 years ago | This is the core module of the GNAT Components Collection |
| gnatcoll-bindings | 14 | almost 2 years ago | This is the bindings module of the GNAT Components Collection |
| gnatcoll-db | 11 | almost 2 years ago | This is the DB module of the GNAT Components Collection |
| gnatcoll-json | 7 | over 3 years ago | This is a set of helpers for writing JSON-intefaces it contains JSON parses for most of the Ada runtime components |
| gneiss | 22 | about 6 years ago | Gneiss is an interface collection to be used with applications for component based systems. It aims to be easily portable/platform independent and is compatible with the |
| lace | 8 | about 2 years ago | A set of Ada components to allow 3D simulations, games and GUI's in Ada |
| asap | 7 | about 2 years ago | A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder |
Awesome Ada / Frameworks / Distributed | |||
| poly-orb | 20 | almost 2 years ago | PolyORB provides a uniform solution to build distributed applications relying either on middleware standards |
Awesome Ada / Frameworks / Graphical User Interface | |||
| gnoga | The GNU Omnificent GUI for Ada | ||
| gwindows | 21 | almost 2 years ago | GNU Ada Visual Interface |
| claw | CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows | ||
| gtkada | 91 | almost 2 years ago | Ada graphical toolkit based on Gtk3 components |
| qt-ada | Ada-2012 port to Qt 6 framework | ||
| vtk-ada | Ada-2012 port to VTK 8.1 (Visualization Toolkit) | ||
| fltk-ada | Ada-2012 binding to FLTK (Fast Light Toolkit) | ||
| ada-gui | 37 | over 2 years ago | GUI implemented on its own task, so it doesn't require that its client give up a thread of control. Derived from |
| adawebui | 1 | over 4 years ago | GUI based on |
| imgui-ada | 5 | about 3 years ago | Ada binding of the ImGui library |
| anuklear | 0 | almost 2 years ago | Ada binding to the Nuklear GUI library and the Nuklear-SDL renderer |
Awesome Ada / Frameworks / Terminal User Interface | |||
| curses | 14 | over 6 years ago | Advanced UNIX Terminal UI Ada Binding Package |
| ncurses-ada95 | Ada95 bindings for ncurses | ||
| linenoise-ada | Bindings to the Linenoise line-editing library (patched to support UTF-8) | ||
| areadline | 7 | about 11 years ago | Ada binding to the readline library |
Awesome Ada / Frameworks / 3D | |||
| globe-3d | 16 | almost 3 years ago | GL Object Based Engine for 3D |
| engine-3d | 2 | about 7 years ago | A 3D engine for DOS-talgics |
| ada-ogl | 4 | almost 11 years ago | Ada OpenGL Framework |
| ada-doom-3 | 262 | over 3 years ago | Id Software's Id-tech-4-BFG in the Ada programming language |
Awesome Ada / Frameworks / Database | |||
| ada-ado | 25 | almost 2 years ago | Ada Database Objects is an Ada05 library that provides object relational mapping to access a database in Ada05. The library supports Postgresql, MySQL, SQLite as databases. Most of the concepts developped for ADO come from the Java Hibernate ORM |
| ada-base | 33 | almost 4 years ago | Thick database bindings to MySQL, PostgreSQL and SQLite for Ada |
| apq-base | APQ is a database interface library written in Ada95 | ||
Awesome Ada / Frameworks / Web | |||
| aws | 131 | almost 2 years ago | AWS is a complete framework to develop Web based applications in Ada |
| awa | 95 | almost 2 years ago | Ada Web Application is a framework to build a Web Application in Ada 2012. The framework provides several ready to use and extendable modules that are common to many web application. This includes the login, authentication, users, permissions, managing comments, tags, votes, documents, images |
Awesome Ada / Frameworks / Web / awa | |||
| dynamo | 17 | almost 2 years ago | Code generator used to generate an Ada Web Application or database mappings from hibernate-like XML description, YAML doctrine model or UML models |
| ada-wiki | 19 | almost 2 years ago | Ada Wiki is a small library that provides a Wiki engine |
| ada-security | 22 | almost 2 years ago | OAuth 2.0 client and server framework to secure web applications |
| ada-el | 7 | almost 2 years ago | This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL) |
| ada-asf | 13 | almost 2 years ago | Ada Server Faces allows to create web applications using the same pattern as the Java Server Faces (See JSR 252, JSR 314 and JSR 344) |
| ada-servlet | 7 | almost 2 years ago | Ada Servlet allows to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315) |
Awesome Ada / Frameworks / Web | |||
| swagger-ada | 27 | almost 2 years ago | Ada support for Swagger codegen: OpenAPI Generator is a code generator that supports generation of API client libraries, server stubs and documentation automatically given an OpenAPI Spec |
| ews | 12 | about 4 years ago | Embedded Web Server is a web server construction kit, designed for embedded applications using the GNAT Ada compiler |
| matreshka | 7 | over 3 years ago | Matreshka is an Ada framework to develop information systems consisting of five major components: League, XML processor, Web framework, SQL access, and the Modeling framework |
Awesome Ada / Frameworks / Unit Test, Testing | |||
| ahven | Ahven is a simple unit test library and framework for the Ada programming. language. It is loosely modelled after JUnit and some ideas from AUnit | ||
| aunit | 7 | almost 2 years ago | Ada unit testing framework |
| gnatbdd | 7 | almost 5 years ago | Behavior Driven Development in Ada |
| scripted-testing | 2 | over 3 years ago | Supports functional testing using Tcl scripts |
Awesome Ada / Frameworks / Logging | |||
| alog | Alog is a stackable logging framework for Ada | ||
Awesome Ada / Frameworks / Machine Learning | |||
| fuzzyml | Fuzzy machine learning framework | ||
Awesome Ada / Frameworks / Automation | |||
| aicwl | Collection of packages provided for design of high-quality industrial control widgets for Ada applications | ||
| ada-for-automation | A4A is a framework for designing industrial automation applications using the Ada language | ||
Awesome Ada / Tools / DevOps | |||
| septum | 381 | almost 2 years ago | An interactive context-based text search tool for searching large codebases |
| powerjoular | 71 | almost 2 years ago | PowerJoular allows monitoring power consumption of multiple platforms and processes |
| mat | 7 | about 2 years ago | MAT is a simple memory analysis tool intended to help understand where the memory is used in a program |
Awesome Ada / Tools / Verification | |||
| gnat-coverage | 39 | almost 2 years ago | GNATcoverage is a tool to analyze and report program coverage |
| adacontrol | Ada constructs lint tool | ||
| spark-2014 | 250 | almost 2 years ago | SPARK formal verification toolset |
| acats | 10 | about 2 years ago | The Ada Conformity Assessment Test Suite, customised for GCC |
| acats-grading | 2 | over 2 years ago | Tools for grading ACATS results, modified for Unix-like systems |
Awesome Ada / Tools / Generation | |||
| asn1scc | 0 | almost 3 years ago | ASN1SCC: An open source ASN.1 generator to Ada type declarations and encoders/decoders |
| ocarina | 66 | over 4 years ago | AADL model processor: mappings to Ada code; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL |
| fmt | Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation | ||
| automate | 7 | almost 3 years ago | Finite-state machine generator |
| ajunitgen | 1 | over 4 years ago | Generator of JUnit-compatible XML reports in Ada |
| record-flux | 107 | almost 2 years ago | RecordFlux: Toolset for the formal specification of messages and the generation of verifiable binary parsers and message generators in SPARK |
| resource-embedder | Advanced Resource Embedder to embed files in binaries by producing C, Ada or Go source files | ||
Awesome Ada / Tools / UML | |||
| ada-ml | 10 | over 3 years ago | Ada-tailored UML Modeling Language |
| coldframe | 9 | almost 3 years ago | ColdFrame generates Ada framework code and documentation from UML models |
| umbrello | Unified Modelling Language (UML) diagram program based on KDE Technology. Outputs Ada | ||
Awesome Ada / Tools / Encryption | |||
| ada-keystore | 31 | almost 2 years ago | Ada Keystore - protect your sensitive data with secure storage |
Awesome Ada / Libraries / Math | |||
| math-packages | 25 | almost 4 years ago | Collection of basic math routines in Ada |
| mathpaqs | 11 | almost 2 years ago | Mathpaqs is a collection of mathematical, 100% portable, packages in the Ada programming language |
| mandelbrot-ascii | 2 | almost 7 years ago | Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless) |
| lalg | 4 | over 4 years ago | Interface to dense linear algebra packages |
| geo-energy-math | 8 | over 2 years ago | Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018) |
| matrix-root | Compute the N-th root of a matrix | ||
| hungarian | 2 | over 8 years ago | Ada binding to the fast Stachniss' Hungarian solver |
Awesome Ada / Libraries / Science | |||
| si | SI units checked and unchecked | ||
| units-of-measurement | Library to manage units of measurement with dimension checking | ||
| si_units | 8 | almost 6 years ago | Utility library to pretty print physical values in proper metric units |
Awesome Ada / Libraries / Algorithms, Containers and Protocols | |||
| ada-language-server | 242 | almost 2 years ago | Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK |
| ada-lsp | 11 | almost 9 years ago | Language Server Protocol for Ada |
| ada-lsp-client | 1 | almost 8 years ago | Prototype implementation of LSP client - Visual Studio 2017 |
| ada-traits-containers | 29 | almost 2 years ago | Generic Ada Library for Algorithms and Containers |
| dequesterity | Deque/buffer generics that consist of building blocks that may be combined in various ways to create higher abstraction buffers | ||
| pragmarc | 28 | about 2 years ago | PragmAda Reusable Components (PragmARCs) from PragmAda S/W Engineering |
| booch95 | The Ada 95 Booch components are a port of Grady Booch's C++ components | ||
| ada-id | 15 | almost 5 years ago | Simple Ada library for generating UUIDs |
| ada-ga | 2 | about 3 years ago | Genetic Algorithm Implementation for Ada |
| ada-sodoku | 5 | about 3 years ago | Small Library for Sodoku grid solving / finding |
| sl3p | 1 | over 8 years ago | Simple Layer 3 Protocol |
| smart-pointers | 1 | over 8 years ago | A package providing a reference-counted access type Smart_Pointer |
| hungarian-algorithm | 1 | about 2 years ago | Hungarian Algorithm implementation in Ada |
| sal | SAL (Stephe's Ada Library) | ||
| nb-ada | 11 | over 11 years ago | NBAda : An Ada library of lock-free data structures and algorithms |
| paraffin | A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems | ||
| deepend | Deepend is a storage pool with subpool capabilities for Ada 2012, Ada 2005, and Ada 95 | ||
| charles | Charles is an Ada 95 container library, precursor to Ada 2005+ standard containers | ||
| simple-blockchain | 21 | over 6 years ago | Simple blockchain in Ada |
| adagio | 3 | almost 14 years ago | Gnutella2 (G2) network server leaf |
| agpl | 4 | over 8 years ago | Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor) |
| az3 | 6 | about 2 years ago | Ada binding for Z3 |
| chests | 3 | over 4 years ago | Chests are bounded containers |
Awesome Ada / Libraries / Cryptography | |||
| threefish | 5 | about 4 years ago | Ada Implementation of the Threefish-256 Encryption Algorithm |
| fletcher | 0 | over 7 years ago | Trivial implementation of fletcher_16 checksum computation algorithm |
| base58-ada | 3 | almost 9 years ago | Base58 encoding and decoding in Ada |
| ada-crypto-library | 84 | over 8 years ago | This is a crypto library for Ada with a nice API and is written for the i386 and x86_64 hardware architecture |
| libsparkcrypto | 27 | over 5 years ago | A cryptographic library implemented in SPARK |
| sip-hash | 1 | over 12 years ago | A pure Ada implementation of the SipHash PRF |
| libkeccak | 33 | almost 3 years ago | A SPARK implementation of the Keccak family of sponge functions and related constructions |
| ascon-spark | 3 | over 3 years ago | Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm |
| spark-sip-hash | 5 | over 8 years ago | Ada/SPARK implementation of the SipHash keyed hash function |
| spark-norx | 8 | over 8 years ago | Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm |
| spark-nacl | 115 | almost 3 years ago | SPARK 2014 re-implementation of the TweetNaCl crypto library |
| stotp | 8 | almost 8 years ago | Timed One-Time-Pad (RFC 6238) implementation in SPARK |
| xxhash-ada | 1 | almost 4 years ago | Extremely fast non-cryptographic Hash algorithm, xxhash is working at speeds close to RAM limits |
| libsodium-ada | 8 | about 10 years ago | A secure cryptographic library (libsodium for Ada) |
| ada-libsecret | 2 | over 2 years ago | Ada Binding for the libsecret library |
| blake2s | 1 | almost 5 years ago | SPARK83 implementation of the BLAKE2s hash function |
Awesome Ada / Libraries / Compression | |||
| zip-ada | 26 | almost 2 years ago | Zip-Ada is a programming library for dealing with the Zip compressed archive file format |
| ada-lzma | 6 | almost 2 years ago | Ada binding for liblzma compression library |
| dcf-ada | 6 | about 4 years ago | An Ada 2012 library for document container files (Based on ) |
Awesome Ada / Libraries / Patterns | |||
| ada-promises | 9 | over 9 years ago | Implementing promises in Ada. Type-safe, efficient, thread-safe |
| reqrep-task-pools | 1 | over 11 years ago | Task pool system for jobs |
| rxada | 19 | over 2 years ago | An Ada 2012 implementation of the Rx methodology |
Awesome Ada / Libraries / System Modeling | |||
| ada-fuzzy | 3 | over 10 years ago | A fuzzy inference system library for Ada |
| radalib | 11 | almost 3 years ago | Ada library and tools for the analysis of Complex Networks and more |
Awesome Ada / Libraries / Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters | |||
| libadalang | 147 | almost 2 years ago | Libadalang is a library for parsing and semantic analysis of Ada code. It is meant as a building block for integration into other tools (IDE, static analyzers, etc) |
| aflex-ayacc | Ada scanner and parser generators | ||
| wisitoken | WisiToken is an LALR, LR1, and Packrat parser generator and run-time | ||
| gela | 0 | over 5 years ago | Ada code analyzer |
| anagram | 4 | over 5 years ago | Grammar handling and parser generation Ada library |
| ada-pretty | 4 | over 5 years ago | Pretty printing library for Ada |
| increment | 4 | almost 6 years ago | Incremental analysis in Ada |
| parse-args | 12 | over 4 years ago | Simple command-line argument parsing |
| aforth | 23 | about 11 years ago | Embeddable Forth interpreter written in Ada |
| parser-tools | 6 | over 8 years ago | Tools for writing lexers / parsers in Ada |
| xia | 4 | over 2 years ago | An Ada implementation of XPath 1.0 |
Awesome Ada / Libraries / Format Readers, Writers and Checkers | |||
| ini-files | 6 | over 2 years ago | The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files |
| protobuf-ada | 18 | over 4 years ago | Experimental Ada code generation support for Google Protocol Buffers |
| protobuf | 33 | over 3 years ago | A Google Protocol Buffers implementation in Ada, using |
| ada-yaml | 37 | over 4 years ago | Experimental YAML 1.3 implementation in Ada |
| json-ada | 39 | about 2 years ago | An Ada 2012 library for parsing JSON |
| jwx | 17 | almost 6 years ago | A formally verified JSON library in SPARK |
| xmlada | 22 | almost 2 years ago | The XML/Ada toolkit |
| xml-ez-out | 2 | almost 6 years ago | Library for emitting XML from Ada programs |
| spark-xml | 22 | over 6 years ago | A formally verified XML library in SPARK |
| excel-writer | 7 | about 2 years ago | Create Excel files with basic formats |
| generic-image-decoder | 25 | about 2 years ago | Multi-format image decoder library for Ada |
| ada-pdf-writer | 17 | almost 2 years ago | Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics, images (JPEG) |
| ada-midi | 6 | about 3 years ago | Implementation of Midi / MidiFile reading and writing |
| ada-bar-codes | 14 | about 2 years ago | Ada Bar Codes provides a package for generating various types of bar codes (1D, or 2D like QR codes) on different output formats, such as PDF or SVG |
| ada-bin2asc | 0 | over 10 years ago | Various binary-to-ASCII codecs such as Base64 |
| abf-io | 0 | almost 8 years ago | A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada |
| ada-toml | 32 | almost 2 years ago | TOML parser for Ada |
| uri-ada | URI and MIME parser & manipulation library | ||
| ada-libmagic | Magic Number Recognition Library Ada binding (libmagic (3)) | ||
Awesome Ada / Libraries / Networking and Communication Middleware | |||
| anet | Anet is a networking library for the Ada programming language | ||
| adhcp | ADHCP is an implementation of the DHCP protocol in Ada | ||
| adasockets | 14 | about 3 years ago | IPv4 socket library (TCP, UDP, and multicast) |
| dbus-ada | The D_Bus/Ada library provides an Ada binding to the D-Bus message bus system | ||
| zeromq-ada | Binding to the ZeroMQ comunications-library | ||
| tomi-4-ada | Wrappers for various client/server and pub/sub messaging protocols (AMQP, STOMP and ZeroMQ), focusing exclusively on text message communications | ||
| mosquitto-ada | 6 | over 2 years ago | Binding for the MQTT broker Mosquitto |
| tlsada | Bindings to the libtls TLS/SSL library | ||
| kafka-ada | 14 | about 4 years ago | Binding for the C librdkafka library, allows sending and receiving from a Kafka bus |
| adare-net | This is a small, portable and easy to use Ada network lib. It supports ipv4 ipv6 udp and tcp, and can 'listen' with ipv6, too | ||
| pcsc-ada | PCSC/Ada provides a thick Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API | ||
Awesome Ada / Libraries / Chatting and Communication | |||
| axmpp | 8 | almost 6 years ago | With the AXMPP library you can connect to a Jabber server to send and receive messages |
| weechat-ada | 3 | about 4 years ago | Ada 2012 library for WeeChat plug-ins |
| weechat-canberra | 1 | about 4 years ago | A WeeChat plug-in written in Ada 2012 that plays sounds using Canberra |
| weechat-emoji | 2 | about 4 years ago | A WeeChat plug-in written in Ada 2012 that displays emoji |
Awesome Ada / Libraries / Web | |||
| template-parser | 7 | almost 2 years ago | AWS templates engine |
Awesome Ada / Libraries / Graphics and Multimedia | |||
| orka | 61 | about 2 years ago | The OpenGL 4.6 Rendering Kernel in Ada 2012 |
| opengl-ada | 96 | about 4 years ago | Thick Ada binding for OpenGL and GLFW |
| adagl | 10 | over 5 years ago | Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WASM/WebGL) |
| sdlada | 118 | almost 2 years ago | Ada 2012 bindings to SDL 2 |
| ada-nanovg | 1 | over 10 years ago | Ada bindings to NanoVG |
| free-type-ada | 1 | over 5 years ago | FreeType binding for Ada 2005 |
| asfml | 34 | about 2 years ago | Ada binding to the Simple and Fast Multimedia Library |
| plplot | Cross-platform, scientific graphics plotting library, including an Ada binding | ||
| vulkada | A complete Vulkan 1.1 thick binding for Ada 2012 | ||
Awesome Ada / Libraries / General Purpose Computing | |||
| cuda | 18 | about 2 years ago | CUDA support from AdaCore |
| cuda-ada | CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model | ||
| opencl-ada | 15 | almost 13 years ago | An Ada binding for the OpenCL host API |
| boehmgc-ada | 6 | over 4 years ago | Ada binding to the Boehm-Demers-Weiser conservative garbage collector |
| ada-bfd | 8 | about 3 years ago | An Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD |
Awesome Ada / Libraries / Sound | |||
| opus-ada | 2 | about 4 years ago | Ada 2012 bindings for the Opus audio codec |
| canberra-ada | 4 | about 4 years ago | Ada 2012 bindings for libcanberra, an implementation of the XDG Sound Theme and Name Specifications |
| ada-soundio | 6 | over 10 years ago | Ada bindings for libsoundio |
| oto | 3 | over 10 years ago | Ada binding to OpenAL which tries to mimic original API while using Ada types |
| coreland-openal-ada | 3 | over 3 years ago | Ada binding to OpenAL |
| ada-synthetizer | 17 | about 3 years ago | Sound Synthetizer Library implemented in Ada |
| scala | Scala is a powerful software tool for experimentation with musical tunings, such as just intonation scales, equal and historical temperaments, microtonal and macrotonal scales, and non-Western scales | ||
| portable-openal-sound | 1 | almost 2 years ago | A linux-sound-playing package for Ada apps that can asynchronously start and stop music loops, as well as initiate transient sounds |
| adaogg | Complete thin interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language | ||
Awesome Ada / Libraries / Localization | |||
| zanyblue | An Ada package allowing the externalization of application messages into a properties file | ||
| ada-intl | NLS thin Ada binding (gettext (3), textdomain (3), bindtextdomain (3)) | ||
Awesome Ada / Libraries / Utilities | |||
| auto-counters | 8 | over 3 years ago | Reference counting approaches to resource management |
| a-stream-tools | Stream utilities for Ada2005 and 2012 | ||
| ssprep | An extensible template engine akin to jinja but using and intended for command line usage | ||
| licensing | 0 | over 8 years ago | Open Source Licenses library for Ada |
| simple-logging | 3 | about 2 years ago | Easy to use logging facilities for output to console in Ada programs |
| rsfile | 0 | about 4 years ago | Command-line utility that picks a file from a folder hierarchy with probability proportional to its size |
| cstrings | 1 | about 2 years ago | Convenience subprograms to interact with C strings |
| cvsweb2git | 0 | almost 3 years ago | Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository |
| ada-bundler | 5 | about 14 years ago | Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows |
| macos-sdks-vs-gcc | 1 | over 5 years ago | Provides GCC 'specs' files to cope with SDK policy changes |
| ux-strings | 11 | almost 2 years ago | Unicode extended strings |
| getopt-ada | Portable implementation of getopt(3) in Ada | ||
Awesome Ada / Libraries / Robotics | |||
| rclada | 11 | about 2 years ago | Ada client library for ROS2/RCL |
| player-ada | 4 | over 12 years ago | Ada bindings for the player robotic platform |
Awesome Ada / Libraries / Linux and POSIX | |||
| florist | POSIX Ada binding, IEEE Standards 1003.5(b,c) | ||
| wposix | 4 | almost 2 years ago | Ada Windows POSIX binding |
| ada-v4l2 | 0 | over 11 years ago | Ada Posix Binding to Video 4 Linux, used for RPI |
| inotify-ada | 8 | about 4 years ago | An Ada 2012 library for monitoring filesystem events using Linux' inotify API |
| dl-ada | 1 | about 2 years ago | Minimal binding to libdl |
| suid-helper | Small Ada library that helps in writing safer suid programs | ||
Awesome Ada / Libraries / Windows and .NET | |||
| win32ada | 17 | almost 2 years ago | Ada API to the Windows library |
| ada-net-framework | 5 | over 6 years ago | Ada bindings to the Microsoft NetFramework Api |
| ada-winrt | 12 | over 6 years ago | Ada bindings for the Microsft WinRT Api |
| ada-win32 | 3 | over 6 years ago | Ada bindings for the Microsoft Win32 Api |
Awesome Ada / Libraries / Bindings to Other Languages | |||
| tcl-ada-shell | 9 | over 3 years ago | Tcl Ada SHell (Tash) is an Ada binding to Tcl/Tk |
| tashy | 8 | over 4 years ago | Tashy is short from Tcl Ada SHell Younger. It is derivate of Tash, focused mostly on Tk binding |
| tashy2 | 2 | over 4 years ago | Tashy2 is short from Tcl Ada SHell Younger. It is derivate of Tashy, and aims to be more idiomatic and uses a more permisive license |
| ada-lua | 42 | almost 3 years ago | Ada binding for Lua |
| coreland-lua-ada | 6 | over 15 years ago | Ada bindings to the Lua language |
Awesome Ada / Hardware and Embedded / Frameworks | |||
| SweetAda | 38 | almost 2 years ago | A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards |
| robotics-with-ada | 17 | over 2 years ago | Robotics with Ada, ARM, and Lego |
| adamant | 33 | almost 2 years ago | A component-based, model-driven framework for constructing reliable and reusable real-time software |
Awesome Ada / Hardware and Embedded / Firmwares | |||
| certiflie | 33 | about 8 years ago | Source code for the full Ada + SPARK Crazyflie 2.0 firmware |
Awesome Ada / Hardware and Embedded / Drivers | |||
| ada-drivers-library | 250 | almost 2 years ago | Ada drivers for various MCU and sensors |
| em-brick | 0 | over 10 years ago | emBRICK driver and support for emBRICK in Ada |
| dw1000 | 13 | about 7 years ago | Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip |
| evb1000 | 0 | over 9 years ago | Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board |
| multiplexed-io | 0 | almost 10 years ago | This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada |
Awesome Ada / Hardware and Embedded / Controllers | |||
| solenoid-engine-controller | 5 | almost 11 years ago | Software controller for solenoid engines (Ada/STM32F4) |
Awesome Ada / Hardware and Embedded / Communication | |||
| sensortile | 19 | over 2 years ago | This project shows how to initialize a SensorTile and how to send sensor data over BLE from a SensorTile to a suitable host |
| ada-enet | 22 | almost 2 years ago | Embedded network stack (Ethernet driver, IPv4, UDP, DNS, DHCP, NTP) for STM32F746 or STM32F769 |
Awesome Ada / Hardware and Embedded / Libraries | |||
| giza | 7 | over 9 years ago | Giza is trying to be a simple widget tool kit for embedded platforms |
| ada-synth-lib | 33 | over 6 years ago | Simple audio synthesis library that can run on bareboard devices |
| geste | 19 | over 6 years ago | GESTE is a sprite and tile 2D render engine designed to run on micro-controllers |
| sancta | 1 | over 12 years ago | SANCTA multi-robot task allocation library |
| stm32-ui | 4 | almost 8 years ago | STM32 UI library and tools (graphs, images, 12 hour clock) |
| ada-time | 18 | almost 11 years ago | Ada binding for the Pebble Time smartwatch |
| wiring-pi-ada | 0 | about 8 years ago | Ada bindings for wiringPi |
Awesome Ada / Hardware and Embedded / Applications | |||
| coffee-clock | 7 | over 9 years ago | Waking up with a fresh cup of coffee |
| noise-nugget | 16 | almost 8 years ago | Square Inch Synthesizer |
| spark-railway-demo | 7 | almost 10 years ago | Simulated railway network in SPARK/Ada |
| micro-tem-pi | 2 | about 8 years ago | Raspberry Pi using a BBC Micro:Bit as temperature sensor |
| wee-noise-maker | 34 | over 2 years ago | Wee Noise Maker is an open source pocket synthesizer |
| lunar-lander-rotation | 2 | about 6 years ago | Program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer |
| railway-simulation | 5 | almost 7 years ago | Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide |
| etherscope | 17 | almost 9 years ago | Ethernet traffic monitor on a STM32F746 board |
Awesome Ada / Hardware and Embedded / Generators | |||
| svd2ada | 65 | about 2 years ago | An Ada binding generator from SVD descriptions for bare board ARM devices |
Awesome Ada / Applications / Office | |||
| azip | 11 | almost 2 years ago | A free, portable Zip Archive Manager |
| texcad | 5 | almost 2 years ago | TeXCAD is a program for drawing or retouching {picture}s in LaTeX |
| cbsg | 14 | over 2 years ago | The Corporate Bullshit Generator |
| hunter | 21 | over 4 years ago | Graphical ( ) file manager for Linux |
Awesome Ada / Applications / Mail | |||
| trash-finder | Trash Finder is a mail filter that operates as a plugin for your mail server, providing filtering on dozens of criteria along with management of known good mail | ||
Awesome Ada / Applications / Web | |||
| ironsides | Authoritative DNS server verified by SPARK/Ada | ||
| wasabee | 10 | almost 2 years ago | A Web browser with safety focus |
| yass | 24 | about 2 years ago | Yet Another Static Site Generator (like Jekyll or Hugo) |
Awesome Ada / Applications / Multimedia | |||
| ada-3ds | 4 | over 11 years ago | A simple 3DS Max model renderer |
| canta | A tool to help to sing in tune | ||
Awesome Ada / Applications / Automation | |||
| acnc | 64 | over 7 years ago | A G-code parser and CNC controller (in Ada) |
| max-home-automation | application to manage ELV/eQ-3 MAX! cubes for home automation | ||
| ada4automation | A framework for designing industrial automation applications using the Ada language | ||
Awesome Ada / Applications / Simulation | |||
| eagle-lander | 31 | about 6 years ago | Apollo 11 lunar lander simulator ( /Cairo) |
| ghdl | 2,425 | almost 2 years ago | VHDL 2008/93/87 simulator |
| parallel-sim | 1 | over 13 years ago | Distributed Simulation of Transport Networks |
| covid-19-simulator | 11 | almost 6 years ago | Multi engine/algorithms COVID-19 simulator. Ada, Qt code under the hood |
| mars-mpl | 4 | almost 6 years ago | Mars Polar Lander (Crash) Simulator ( , ) |
| doppler-effect-sample2 | 2 | over 3 years ago | Moving airplane causes Stereo Sound Doppler effect ( ) |
Awesome Ada / Applications / Generators and Translators | |||
| adabrowse | HTML generator for Ada95 library unit specs | ||
| pascal-to-ada | 12 | almost 2 years ago | A Pascal to Ada translator |
Awesome Ada / Applications / Generators and Translators / pascal-to-ada | |||
| tp7-ada-gtkada | 3 | about 5 years ago | Implementation of Turbo Pascal 7.0 units with |
| tp7-ada-gnoga | 5 | over 4 years ago | Implementation of Turbo Pascal 7.0 units with |
Awesome Ada / Applications / Generators and Translators | |||
| tiled-code-gen | 3 | over 4 years ago | Code generator for Tiled the map editor |
| j2ada | 3 | about 4 years ago | Translator for a Java valid source code in Ada source code |
| ada-magic | SofCheck AdaMagic is ACATS validated and certified Ada compiler targeting C and/or C++ (4 command line switches for fine tuning). ObjectAda and several other commercial compilers share engine with AdaMagic. MapuSoft distributes AdaMagic as integral component of AppCOE | ||
| cappulada | 15 | almost 7 years ago | Ada binding generator for C++ |
| asis2xml | 2 | over 7 years ago | Converts Ada sources' ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT |
| winforms2gtk | 1 | about 3 years ago | Helper conversor of Visual Basic Microsoft Windows Forms applications to Gtk and Ada |
Awesome Ada / Applications / Shells, Interpreters and Emulators | |||
| sparforte | SPARforte programming language is an Ada-like scripting language, previously known as business user shell (bush). Can be used as interactive UNIX shell replacement | ||
| gsh | 109 | about 3 years ago | GSH is non interactive POSIX shell for Windows, aimed at GNU software builds. 2-3 times faster than Cygwin |
| analytical-engine | 11 | over 4 years ago | An Ada 2012 emulation of Charles Babbage's Analytical Engine |
| a-shell | 14 | almost 3 years ago | A component to aid in writing shell-like applications in Ada |
| dashera | 37 | over 2 years ago | Data General DASHER terminal emulator using |
| yotroc | 4 | over 6 years ago | Assembler/Emulator for a fictional CPU architecture. IDE implemented in |
Awesome Ada / Applications / Programming Languages | |||
| para-sail | ParaSail is a highly parallel experimental language, similar to Go and Erlang. Originaly owned by SofCheck (now AdaCore), it is a test project to try new ideas. Expandable pointers is a sample feature that is about to be introduced to SPARK and Ada. There are in fact 4 experimental languages: ParaSail, Sparkel, Javallel, Parython, all sharing bytecode interpreter and LLVM engine | ||
Awesome Ada / Applications / Misc | |||
| dhondt | 4 | almost 7 years ago | Ada implementation of D'Hondt electoral result calculator |
| whitakers-words | 280 | about 2 years ago | William Whitaker's WORDS, a Latin dictionary |
| ada-chess | 7 | almost 3 years ago | Chess engine written in Ada |
| adage | 6 | about 2 years ago | An Ada/SPARK alternative to sudo and doas |
sindresorhus/awesome
bayandin/awesome-awesomeness
jnv/lists
0ex/more-awesome
joaotavora/eglot
ghdl/ghdl-yosys-plugin
pair-code/facets
somaticio/tensorflow.rb
hopshadoop/hops
tmelliott/transitnetworkmodel
nipunn1313/mypy-protobuf
src-d/proteus
mresti/grpc-workshop
firebaseextended/protobuf-rules-gen
google/pblog
3nock/spidersuite
raystack/raccoon