Repository Index

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

• parser
• binary-parser
• ada
• spark

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents

• ada
• ada-language
• pdf
• pdf-generation

Administration tool for Ravenports

Dynamo Ada Application Code Generator

• code-generation
• ada
• web-application

The Corporate Bullshit Generator

• ada
• fun
• text-generation
• ada-language

An Ada Library for UUID generation.

• uuid

Ini file manager: a standalone, portable Ada package for configuration files

• ada
• ada-language
• ini-parser
• cfg-files

Grammar handling and parser generation Ada library

• ada
• grammars
• parsing
• syntax-analysis