HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
47,133 repositories indexed
1–15 of 15 · 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
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
This is an Ada 2012 package that provides an interface to BLAS.
J2Ada translates a Java valid source code in Ada source code.
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Ada wrapper for the fast Stachniss' Hungarian solver
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
Ada bindings to NanoVG
Ada Posix Binding to Video 4 Linux, used for RPI