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 25 · Most stars
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
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
Ada API to the Windows library
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
GNAT Components Collection – Bindings to C libraries
libsodium for Ada - A secure cryptographic library
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada interface to the readline library
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada finite-state machine generator.
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 bindings for the MQTT broker mosquitto.
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
This is an Ada 2012 package that provides an interface to BLAS.
Ada binding to OpenAL which tries to mimic original API while using Ada types.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
Minimal binding to libdl
Ada bindings to NanoVG