RecordFlux
by AdaCore
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
AI summary
Parser generator
A toolset for generating verifiable parsers and protocol state machines from formal specifications.
- stars
- 107
- forks
- 7
- watching
- 12
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Runtime generator
A repository that generates runtime source trees for AdaCore's bare metal targets
CLI parser generator
A library that generates CLI argument/XML configuration parsers and help messages for F# applications
Finite-state machine generator
Generates Ada code from finite-state machine descriptions.
ada-url/ada1.4K
URL parser
A fast and spec-compliant URL parser written in C++ for use in various Node.js-based systems
Templating engine
A set of tools to parse and create templated text streams in Ada.
Bar code generator
A package for generating various types of bar codes on different output formats.
Parser generator
A Rust-based parser generator framework designed to simplify the process of creating parsers
URL parser
A fast and standard-compliant Python library for parsing and manipulating URLs based on the WHATWG URL specification
XML parser library
An XML parser for Ada95 with support for static and shared libraries
URL parser
A fast and compliant URL parser written in C++
Code generator
A tool that generates Ada code and documentation from UML models
Ada language server
An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.
Parser generator for compilers
A fast parser generator tailored to support transcompilers, with a custom grammar format requiring additional documentation.
Parser library
A library providing tools and classes for building lexers and parsers in Ada.
Code generator
An Ada application code generator that creates web applications or database mappings from various input formats.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions RecordFlux.
