HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
47,133 repositories indexed
1–24 of 33 · Most stars
Ada semantic analysis library.
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada bindings for the GTK+ graphical library.
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
Ada API to the Windows library
Ada binding for the Pebble Time smartwatch
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
NBAda - An Ada library of lock-free data structures and algorithms.
libsodium for Ada - A secure cryptographic library
Ada interface to the readline library
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
Boehm GC interface library for gcc-Ada (GNAT)
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting