Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–17 of 17 · Most stars
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
Ada binding for the Pebble Time smartwatch
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
Apache Kafka Ada client library, based off of librdkafka
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada interface to the readline library
Ada finite-state machine generator.
Boehm GC interface library for gcc-Ada (GNAT)
This is an Ada 2012 package that provides an interface to BLAS.
J2Ada translates a Java valid source code in Ada source code.
Ada bindings for the player robotic platform
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.
Minimal binding to libdl