RecordFlux
Parser generator
A toolset for generating verifiable parsers and protocol state machines from formal specifications.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
107 stars
12 watching
7 forks
Language: Ada
last commit: 4 months ago
Linked from 1 awesome list
adabinary-parsercommunication-protocolformal-methodsformal-specificationformal-verificationparserprotocol-parserprotocol-specificationpythonspark
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
| adacore/bb-runtimes | A repository that generates runtime source trees for AdaCore's bare metal targets | 65 |
 fsprojects/argu | A library that generates CLI argument/XML configuration parsers and help messages for F# applications | 460 |
 blady-com/automate | Generates Ada code from finite-state machine descriptions. | 7 |
 ada-url/ada | A fast and spec-compliant URL parser written in C++ for use in various Node.js-based systems | 1,396 |
| adacore/templates-parser | A set of tools to parse and create templated text streams in Ada. | 7 |
 zertovitch/ada-bar-codes | A package for generating various types of bar codes on different output formats. | 14 |
 nikomatsakis/lalrpop | A Rust-based parser generator framework designed to simplify the process of creating parsers | 1 |
| ada-url/ada-python | A fast and standard-compliant Python library for parsing and manipulating URLs based on the WHATWG URL specification | 46 |
| adacore/xmlada | An XML parser for Ada95 with support for static and shared libraries | 22 |
 gesistsa/adar | A fast and compliant URL parser written in C++ | 26 |
 simonjwright/coldframe | A tool that generates Ada code and documentation from UML models | 9 |
| adacore/ada_language_server | An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files. | 242 |
 uplinkcoder/fancypars-lite | A fast parser generator tailored to support transcompilers, with a custom grammar format requiring additional documentation. | 5 |
 flyx/parsertools | A library providing tools and classes for building lexers and parsers in Ada. | 6 |
 stcarrez/dynamo | An Ada application code generator that creates web applications or database mappings from various input formats. | 17 |