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
647 stars
49 watching
73 forks
last commit: about 1 month ago
Linked 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 | 152 | over 2 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 5 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 3 years ago | Standard Ada library specification as defined in Reference Manual |
| Ada 2022 Reference Card | 10 | 4 months 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 | 123 | 16 days ago | HAC Ada Compiler - a small, quick Ada compiler fully in Ada |
| byron | 60 | over 4 years ago | Byron is a community project to build an Ada compiler, toolchain, and IDE-system |
| augusta | 28 | 7 days 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 | 29 days 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 | almost 4 years ago | Maintained Ada Bundle : Complete Ada-Mode for Vim/NeoVim |
| ada-tmbundle | 6 | over 9 years ago | TextMate support for Ada |
| bbedit-ada-module | BBEdit support for Ada | ||
| ob-ada-spark | 8 | about 2 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 | over 5 years ago | Basic syntax highlighting for Ada and GPR |
| ada-utilities | 0 | over 1 year ago | VSCode extension Ada programmers which provides a few utility functions |
Awesome Ada / Deployment / Build and Package | |||
| alire | 288 | 23 days 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 | 8 months ago | A tool for automatically creating an AppImage executable from an Alire crate |
| aura | 22 | 7 days 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 | 69 | 9 days ago | Adacore multi-language software build tool |
| ravenadm | 18 | 5 days ago | Administration tool for Ravenports |
| synth | 255 | about 2 months ago | Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools) |
| ada4cmake | 4 | about 4 years ago | CMake macros for simple gnat project inclusion |
| cmake-ada-offa | 12 | about 10 years ago | Ada language support for CMake |
| cmake-ada-cho3 | 0 | about 6 years ago | CMake language support for Ada, fork of 's cross-platform support code |
Awesome Ada / Deployment / Continuous Integration | |||
| continuous-verification | 9 | over 5 years ago | SPARK formal verification automated with Travis CI |
| ada-actions | 20 | over 2 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 | 7 days ago | GNAT bare metal board support package (BSP) |
| avr-ada | GNAT for 8-bit AVR microcontrollers | ||
| ada-runtime | 33 | over 2 years ago | A downsized Ada runtime which can be adapted to different platforms |
| cortex-gnat-rts | 65 | 26 days 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 | about 1 month 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 3 years ago | EwoK is a microkernel targeting micro-controllers and embedded systems |
| bare-bones | 84 | about 8 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 4 years ago | Ada Operating System development example |
| havk | 26 | over 3 years ago | x86-64 security-focused OS being created with SPARK |
| cubit | 78 | over 3 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 | 3 months ago | A high-integrity RTOS written in SPARK Ada |
Awesome Ada / Games | |||
| steamsky | 94 | 3 days ago | Roguelike in sky with a steampunk setting |
| unity-ada-tetris | Tetris, in Ada, for the Unity game engine | ||
| tictactoe | 3 | over 7 years ago | A tictactoe game written and proven in SPARK/Ada |
| ada-gate | 20 | 3 months 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 | 3 months 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 | 3 months ago | AdaVenture is a kid-friendly retro point&click game with mazes, dragons, bats & snakes |
| co-terminal-apps | 26 | about 1 year ago | Retro Games that run in a terminal on any platform |
| world-cup-sokerban | 3 | 3 months 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 5 years ago | A simple Button Mania game |
| mine-detector | 3 | over 2 years ago | Mine Detector: a mine-finding game that never requires guessing |
| play-2048 | 4 | about 1 year ago | Play 2048! is a clone of the popular 2048 game, implemented in Ada using for graphics and for saving state |
| bingada | 8 | over 1 year ago | Bingo application in |
| civ-klon | 20 | 8 days ago | Civilization-style turn-based strategy game. Requires |
| eepers | 346 | 6 months 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 | 69 | 10 days 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 | 16 days ago | This is the core module of the GNAT Components Collection |
| gnatcoll-bindings | 14 | 8 days ago | This is the bindings module of the GNAT Components Collection |
| gnatcoll-db | 11 | 28 days ago | This is the DB module of the GNAT Components Collection |
| gnatcoll-json | 7 | over 1 year 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 4 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 months ago | A set of Ada components to allow 3D simulations, games and GUI's in Ada |
| asap | 7 | 5 months 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 | about 1 month 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 | about 2 months ago | GNU Ada Visual Interface |
| claw | CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows | ||
| gtkada | 88 | 8 days 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 | 9 months 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 2 years ago | GUI based on |
| imgui-ada | 5 | about 1 year ago | Ada binding of the ImGui library |
| anuklear | 0 | about 2 months ago | Ada binding to the Nuklear GUI library and the Nuklear-SDL renderer |
Awesome Ada / Frameworks / Terminal User Interface | |||
| curses | 14 | over 4 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 9 years ago | Ada binding to the readline library |
Awesome Ada / Frameworks / 3D | |||
| globe-3d | 16 | about 1 year ago | GL Object Based Engine for 3D |
| engine-3d | 2 | about 5 years ago | A 3D engine for DOS-talgics |
| ada-ogl | 4 | almost 9 years ago | Ada OpenGL Framework |
| ada-doom-3 | 258 | over 1 year ago | Id Software's Id-tech-4-BFG in the Ada programming language |
Awesome Ada / Frameworks / Database | |||
| ada-ado | 25 | about 1 month 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 | about 2 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 | 130 | 8 days ago | AWS is a complete framework to develop Web based applications in Ada |
| awa | 96 | 25 days 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 | about 1 month 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 | about 1 month ago | Ada Wiki is a small library that provides a Wiki engine |
| ada-security | 22 | about 1 month ago | OAuth 2.0 client and server framework to secure web applications |
| ada-el | 7 | about 1 month ago | This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL) |
| ada-asf | 13 | about 1 month 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 | about 1 month 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 | about 1 month 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 | over 2 years ago | Embedded Web Server is a web server construction kit, designed for embedded applications using the GNAT Ada compiler |
| matreshka | 7 | over 1 year 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 | 28 days ago | Ada unit testing framework |
| gnatbdd | 7 | about 3 years ago | Behavior Driven Development in Ada |
| scripted-testing | 2 | over 1 year 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 | 380 | 9 months ago | An interactive context-based text search tool for searching large codebases |
| powerjoular | 67 | 4 months ago | PowerJoular allows monitoring power consumption of multiple platforms and processes |
| mat | 7 | 5 months 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 | 38 | 6 days ago | GNATcoverage is a tool to analyze and report program coverage |
| adacontrol | Ada constructs lint tool | ||
| spark-2014 | 248 | 7 days ago | SPARK formal verification toolset |
| acats | 10 | 4 months ago | The Ada Conformity Assessment Test Suite, customised for GCC |
| acats-grading | 1 | 6 months ago | Tools for grading ACATS results, modified for Unix-like systems |
Awesome Ada / Tools / Generation | |||
| asn1scc | 0 | about 1 year ago | ASN1SCC: An open source ASN.1 generator to Ada type declarations and encoders/decoders |
| ocarina | 66 | over 2 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 | about 1 year ago | Finite-state machine generator |
| ajunitgen | 1 | over 2 years ago | Generator of JUnit-compatible XML reports in Ada |
| record-flux | 106 | 9 days 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 1 year ago | Ada-tailored UML Modeling Language |
| coldframe | 9 | about 1 year 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 | about 1 month ago | Ada Keystore - protect your sensitive data with secure storage |
Awesome Ada / Libraries / Math | |||
| math-packages | 25 | about 2 years ago | Collection of basic math routines in Ada |
| mathpaqs | 11 | 22 days ago | Mathpaqs is a collection of mathematical, 100% portable, packages in the Ada programming language |
| mandelbrot-ascii | 2 | about 5 years ago | Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless) |
| lalg | 4 | over 2 years ago | Interface to dense linear algebra packages |
| geo-energy-math | 8 | 9 months 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 6 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 | about 4 years ago | Utility library to pretty print physical values in proper metric units |
Awesome Ada / Libraries / Algorithms, Containers and Protocols | |||
| ada-language-server | 236 | 7 days ago | Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK |
| ada-lsp | 11 | almost 7 years ago | Language Server Protocol for Ada |
| ada-lsp-client | 1 | almost 6 years ago | Prototype implementation of LSP client - Visual Studio 2017 |
| ada-traits-containers | 29 | 16 days 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 | 27 | 3 months 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 3 years ago | Simple Ada library for generating UUIDs |
| ada-ga | 2 | over 1 year ago | Genetic Algorithm Implementation for Ada |
| ada-sodoku | 5 | over 1 year ago | Small Library for Sodoku grid solving / finding |
| sl3p | 1 | almost 7 years ago | Simple Layer 3 Protocol |
| smart-pointers | 1 | over 6 years ago | A package providing a reference-counted access type Smart_Pointer |
| hungarian-algorithm | 1 | 2 months ago | Hungarian Algorithm implementation in Ada |
| sal | SAL (Stephe's Ada Library) | ||
| nb-ada | 11 | over 9 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 4 years ago | Simple blockchain in Ada |
| adagio | 3 | about 12 years ago | Gnutella2 (G2) network server leaf |
| agpl | 4 | over 6 years ago | Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor) |
| az3 | 6 | 3 months ago | Ada binding for Z3 |
| chests | 3 | over 2 years ago | Chests are bounded containers |
Awesome Ada / Libraries / Cryptography | |||
| threefish | 5 | about 2 years ago | Ada Implementation of the Threefish-256 Encryption Algorithm |
| fletcher | 0 | over 5 years ago | Trivial implementation of fletcher_16 checksum computation algorithm |
| base58-ada | 3 | about 7 years ago | Base58 encoding and decoding in Ada |
| ada-crypto-library | 84 | over 6 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 | almost 4 years ago | A cryptographic library implemented in SPARK |
| sip-hash | 1 | almost 11 years ago | A pure Ada implementation of the SipHash PRF |
| libkeccak | 33 | about 1 year ago | A SPARK implementation of the Keccak family of sponge functions and related constructions |
| ascon-spark | 3 | almost 2 years ago | Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm |
| spark-sip-hash | 5 | over 6 years ago | Ada/SPARK implementation of the SipHash keyed hash function |
| spark-norx | 8 | over 6 years ago | Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm |
| spark-nacl | 114 | about 1 year ago | SPARK 2014 re-implementation of the TweetNaCl crypto library |
| stotp | 8 | almost 6 years ago | Timed One-Time-Pad (RFC 6238) implementation in SPARK |
| xxhash-ada | 1 | about 2 years ago | Extremely fast non-cryptographic Hash algorithm, xxhash is working at speeds close to RAM limits |
| libsodium-ada | 8 | over 8 years ago | A secure cryptographic library (libsodium for Ada) |
| ada-libsecret | 2 | 9 months ago | Ada Binding for the libsecret library |
| blake2s | 1 | about 3 years ago | SPARK83 implementation of the BLAKE2s hash function |
Awesome Ada / Libraries / Compression | |||
| zip-ada | 24 | 4 days ago | Zip-Ada is a programming library for dealing with the Zip compressed archive file format |
| ada-lzma | 6 | about 1 month ago | Ada binding for liblzma compression library |
| dcf-ada | 6 | over 2 years ago | An Ada 2012 library for document container files (Based on ) |
Awesome Ada / Libraries / Patterns | |||
| ada-promises | 9 | over 7 years ago | Implementing promises in Ada. Type-safe, efficient, thread-safe |
| reqrep-task-pools | 1 | over 9 years ago | Task pool system for jobs |
| rxada | 19 | 9 months ago | An Ada 2012 implementation of the Rx methodology |
Awesome Ada / Libraries / System Modeling | |||
| ada-fuzzy | 3 | almost 9 years ago | A fuzzy inference system library for Ada |
| radalib | 11 | about 1 year 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 | 7 days 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 3 years ago | Ada code analyzer |
| anagram | 4 | almost 4 years ago | Grammar handling and parser generation Ada library |
| ada-pretty | 4 | almost 4 years ago | Pretty printing library for Ada |
| increment | 4 | almost 4 years ago | Incremental analysis in Ada |
| parse-args | 12 | over 2 years ago | Simple command-line argument parsing |
| aforth | 23 | about 9 years ago | Embeddable Forth interpreter written in Ada |
| parser-tools | 6 | almost 7 years ago | Tools for writing lexers / parsers in Ada |
| xia | 4 | 10 months ago | An Ada implementation of XPath 1.0 |
Awesome Ada / Libraries / Format Readers, Writers and Checkers | |||
| ini-files | 6 | 6 months 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 2 years ago | Experimental Ada code generation support for Google Protocol Buffers |
| protobuf | 33 | almost 2 years ago | A Google Protocol Buffers implementation in Ada, using |
| ada-yaml | 37 | almost 3 years ago | Experimental YAML 1.3 implementation in Ada |
| json-ada | 39 | 4 months ago | An Ada 2012 library for parsing JSON |
| jwx | 17 | about 4 years ago | A formally verified JSON library in SPARK |
| xmlada | 22 | 28 days ago | The XML/Ada toolkit |
| xml-ez-out | 2 | almost 4 years ago | Library for emitting XML from Ada programs |
| spark-xml | 22 | over 4 years ago | A formally verified XML library in SPARK |
| excel-writer | 7 | 3 months ago | Create Excel files with basic formats |
| generic-image-decoder | 25 | about 2 months ago | Multi-format image decoder library for Ada |
| ada-pdf-writer | 17 | 30 days ago | Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics, images (JPEG) |
| ada-midi | 6 | over 1 year ago | Implementation of Midi / MidiFile reading and writing |
| ada-bar-codes | 14 | 2 months 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 8 years ago | Various binary-to-ASCII codecs such as Base64 |
| abf-io | 0 | about 6 years ago | A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada |
| ada-toml | 31 | 25 days 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 | over 1 year 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 | 9 months ago | Binding for the MQTT broker Mosquitto |
| tlsada | Bindings to the libtls TLS/SSL library | ||
| kafka-ada | 14 | about 2 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 | about 4 years ago | With the AXMPP library you can connect to a Jabber server to send and receive messages |
| weechat-ada | 3 | over 2 years ago | Ada 2012 library for WeeChat plug-ins |
| weechat-canberra | 1 | over 2 years ago | A WeeChat plug-in written in Ada 2012 that plays sounds using Canberra |
| weechat-emoji | 2 | over 2 years ago | A WeeChat plug-in written in Ada 2012 that displays emoji |
Awesome Ada / Libraries / Web | |||
| template-parser | 7 | 28 days ago | AWS templates engine |
Awesome Ada / Libraries / Graphics and Multimedia | |||
| orka | 61 | 4 months ago | The OpenGL 4.6 Rendering Kernel in Ada 2012 |
| opengl-ada | 96 | about 2 years ago | Thick Ada binding for OpenGL and GLFW |
| adagl | 10 | almost 4 years ago | Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WASM/WebGL) |
| sdlada | 117 | 16 days ago | Ada 2012 bindings to SDL 2 |
| ada-nanovg | 1 | almost 9 years ago | Ada bindings to NanoVG |
| free-type-ada | 1 | over 3 years ago | FreeType binding for Ada 2005 |
| asfml | 33 | 3 months 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 | 2 months 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 | about 11 years ago | An Ada binding for the OpenCL host API |
| boehmgc-ada | 6 | over 2 years ago | Ada binding to the Boehm-Demers-Weiser conservative garbage collector |
| ada-bfd | 8 | over 1 year 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 | over 2 years ago | Ada 2012 bindings for the Opus audio codec |
| canberra-ada | 4 | over 2 years ago | Ada 2012 bindings for libcanberra, an implementation of the XDG Sound Theme and Name Specifications |
| ada-soundio | 6 | almost 9 years ago | Ada bindings for libsoundio |
| oto | 3 | over 8 years ago | Ada binding to OpenAL which tries to mimic original API while using Ada types |
| coreland-openal-ada | 3 | almost 2 years ago | Ada binding to OpenAL |
| ada-synthetizer | 17 | over 1 year 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 | about 1 month 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 1 year 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 6 years ago | Open Source Licenses library for Ada |
| simple-logging | 3 | 4 months ago | Easy to use logging facilities for output to console in Ada programs |
| rsfile | 0 | over 2 years ago | Command-line utility that picks a file from a folder hierarchy with probability proportional to its size |
| cstrings | 1 | 4 months ago | Convenience subprograms to interact with C strings |
| cvsweb2git | 0 | about 1 year ago | Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository |
| ada-bundler | 5 | over 12 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 3 years ago | Provides GCC 'specs' files to cope with SDK policy changes |
| ux-strings | 11 | about 2 months ago | Unicode extended strings |
| getopt-ada | Portable implementation of getopt(3) in Ada | ||
Awesome Ada / Libraries / Robotics | |||
| rclada | 11 | 2 months ago | Ada client library for ROS2/RCL |
| player-ada | 4 | over 10 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 | about 1 month ago | Ada Windows POSIX binding |
| ada-v4l2 | 0 | almost 10 years ago | Ada Posix Binding to Video 4 Linux, used for RPI |
| inotify-ada | 8 | over 2 years ago | An Ada 2012 library for monitoring filesystem events using Linux' inotify API |
| dl-ada | 1 | 2 months 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 | 28 days ago | Ada API to the Windows library |
| ada-net-framework | 5 | over 4 years ago | Ada bindings to the Microsoft NetFramework Api |
| ada-winrt | 12 | over 4 years ago | Ada bindings for the Microsft WinRT Api |
| ada-win32 | 3 | over 4 years ago | Ada bindings for the Microsoft Win32 Api |
Awesome Ada / Libraries / Bindings to Other Languages | |||
| tcl-ada-shell | 9 | over 1 year ago | Tcl Ada SHell (Tash) is an Ada binding to Tcl/Tk |
| tashy | 8 | over 2 years ago | Tashy is short from Tcl Ada SHell Younger. It is derivate of Tash, focused mostly on Tk binding |
| tashy2 | 2 | over 2 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 | 12 months ago | Ada binding for Lua |
| coreland-lua-ada | 6 | almost 14 years ago | Ada bindings to the Lua language |
Awesome Ada / Hardware and Embedded / Frameworks | |||
| SweetAda | 38 | 4 days 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 | 10 months ago | Robotics with Ada, ARM, and Lego |
| adamant | 33 | 15 days ago | A component-based, model-driven framework for constructing reliable and reusable real-time software |
Awesome Ada / Hardware and Embedded / Firmwares | |||
| certiflie | 33 | about 6 years ago | Source code for the full Ada + SPARK Crazyflie 2.0 firmware |
Awesome Ada / Hardware and Embedded / Drivers | |||
| ada-drivers-library | 246 | 14 days ago | Ada drivers for various MCU and sensors |
| em-brick | 0 | over 8 years ago | emBRICK driver and support for emBRICK in Ada |
| dw1000 | 13 | about 5 years ago | Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip |
| evb1000 | 0 | over 7 years ago | Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board |
| multiplexed-io | 0 | about 8 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 9 years ago | Software controller for solenoid engines (Ada/STM32F4) |
Awesome Ada / Hardware and Embedded / Communication | |||
| sensortile | 19 | 8 months 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 | 26 days ago | Embedded network stack (Ethernet driver, IPv4, UDP, DNS, DHCP, NTP) for STM32F746 or STM32F769 |
Awesome Ada / Hardware and Embedded / Libraries | |||
| giza | 7 | over 7 years ago | Giza is trying to be a simple widget tool kit for embedded platforms |
| ada-synth-lib | 33 | over 4 years ago | Simple audio synthesis library that can run on bareboard devices |
| geste | 19 | almost 5 years ago | GESTE is a sprite and tile 2D render engine designed to run on micro-controllers |
| sancta | 1 | over 10 years ago | SANCTA multi-robot task allocation library |
| stm32-ui | 4 | almost 6 years ago | STM32 UI library and tools (graphs, images, 12 hour clock) |
| ada-time | 18 | about 9 years ago | Ada binding for the Pebble Time smartwatch |
| wiring-pi-ada | 0 | about 6 years ago | Ada bindings for wiringPi |
Awesome Ada / Hardware and Embedded / Applications | |||
| coffee-clock | 7 | over 7 years ago | Waking up with a fresh cup of coffee |
| noise-nugget | 16 | about 6 years ago | Square Inch Synthesizer |
| spark-railway-demo | 7 | about 8 years ago | Simulated railway network in SPARK/Ada |
| micro-tem-pi | 2 | about 6 years ago | Raspberry Pi using a BBC Micro:Bit as temperature sensor |
| wee-noise-maker | 34 | 7 months ago | Wee Noise Maker is an open source pocket synthesizer |
| lunar-lander-rotation | 2 | over 4 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 5 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 7 years ago | Ethernet traffic monitor on a STM32F746 board |
Awesome Ada / Hardware and Embedded / Generators | |||
| svd2ada | 65 | 4 months ago | An Ada binding generator from SVD descriptions for bare board ARM devices |
Awesome Ada / Applications / Office | |||
| azip | 11 | 14 days ago | A free, portable Zip Archive Manager |
| texcad | 4 | about 2 months ago | TeXCAD is a program for drawing or retouching {picture}s in LaTeX |
| cbsg | 14 | 5 months ago | The Corporate Bullshit Generator |
| hunter | 21 | over 2 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 | about 1 month ago | A Web browser with safety focus |
| yass | 24 | 3 months ago | Yet Another Static Site Generator (like Jekyll or Hugo) |
Awesome Ada / Applications / Multimedia | |||
| ada-3ds | 4 | almost 10 years ago | A simple 3DS Max model renderer |
| canta | A tool to help to sing in tune | ||
Awesome Ada / Applications / Automation | |||
| acnc | 63 | over 5 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 | over 4 years ago | Apollo 11 lunar lander simulator ( /Cairo) |
| ghdl | 2,388 | 7 days ago | VHDL 2008/93/87 simulator |
| parallel-sim | 1 | over 11 years ago | Distributed Simulation of Transport Networks |
| covid-19-simulator | 11 | about 4 years ago | Multi engine/algorithms COVID-19 simulator. Ada, Qt code under the hood |
| mars-mpl | 4 | about 4 years ago | Mars Polar Lander (Crash) Simulator ( , ) |
| doppler-effect-sample2 | 2 | almost 2 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 | about 1 month ago | A Pascal to Ada translator |
Awesome Ada / Applications / Generators and Translators / pascal-to-ada | |||
| tp7-ada-gtkada | 3 | over 3 years ago | Implementation of Turbo Pascal 7.0 units with |
| tp7-ada-gnoga | 5 | almost 3 years ago | Implementation of Turbo Pascal 7.0 units with |
Awesome Ada / Applications / Generators and Translators | |||
| tiled-code-gen | 3 | almost 3 years ago | Code generator for Tiled the map editor |
| j2ada | 3 | over 2 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 5 years ago | Ada binding generator for C++ |
| asis2xml | 2 | over 5 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 1 year 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 | 107 | over 1 year ago | GSH is non interactive POSIX shell for Windows, aimed at GNU software builds. 2-3 times faster than Cygwin |
| analytical-engine | 9 | over 2 years ago | An Ada 2012 emulation of Charles Babbage's Analytical Engine |
| a-shell | 14 | about 1 year ago | A component to aid in writing shell-like applications in Ada |
| dashera | 37 | 6 months ago | Data General DASHER terminal emulator using |
| yotroc | 4 | almost 5 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 5 years ago | Ada implementation of D'Hondt electoral result calculator |
| whitakers-words | 277 | 4 months ago | William Whitaker's WORDS, a Latin dictionary |
| ada-chess | 7 | about 1 year ago | Chess engine written in Ada |
| adage | 6 | 4 months 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