Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–21 of 21 · Most stars
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Ada binding for the Pebble Time smartwatch
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
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.
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada finite-state machine generator.
Boehm GC interface library for gcc-Ada (GNAT)
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
This is an Ada 2012 package that provides an interface to BLAS.
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
J2Ada translates a Java valid source code in Ada source code.
Ada bindings for the player robotic platform
Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
Ada bindings for the Microsoft Win32 Api
- ada
- gnat
- gcc
- win32
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.