RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

License

GNU Affero General Public License v3.0

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Creator

AdaCore

Related apps

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platfo

Ada219bsd-3-clause

5 months ago

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada205gpl-3.0

4 months ago

aunit

Ada6other

4 months ago

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

Ada56other

4 months ago

Certyflie

Ada30gpl-3.0

6 years ago

cuda

Ada17

5 months ago

gnatcoll-db

GNAT Components Collection – Database packages

C10other

4 months ago

gnatstudio

gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Ada356

4 months ago

gsh

gsh

A POSIX shell for Windows.

C95

8 months ago

gtkada

Ada bindings for the GTK+ graphical library.

Ada80other

4 months ago

libadalang

libadalang

Ada semantic analysis library.

Ada134other

4 months ago

Lunar_Lander_Rotation_Demo

Demonstration program that interacts with the AdaFruit BNO055 breakout board in

Ada2gpl-3.0

4 years ago

Robotics_with_Ada

Robotics with Ada, ARM, and Lego

Ada15gpl-3.0

4 years ago

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specif

Ada217gpl-3.0

5 months ago

SPARK_Railway_Simulation_Demo

SPARK_Railway_Simulation_Demo

Ada4gpl-3.0

4 years ago

svd2ada

An Ada binding generator from SVD descriptions for bare board ARM devices.

Ada58gpl-3.0

last year

win32ada

Ada API to the Windows library

Ada15

last year

wposix

Ada Windows POSIX binding

Ada4other

7 months ago

xmlada

The XML/Ada toolkit.

Ada20other

4 months ago