asn1scc

ASN.1 compiler specifically designed for embedded systems development.

1 stars2 forks0 contributors

Overview

ASN.1 compiler for embedded systems

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

2 years ago

CreatedSince 2023

Included in

Ada/SPARK821

Auto-fetched 5 hours ago

record-flux

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

Stars127

Forks10

Last commit6 months ago

automate

Ada finite-state machine generator.

Stars8

Forks1

Last commit2 years ago

ajunitgen

Generator of JUnit-compatible XML reports in Ada

Stars1

Forks1

Last commit4 years ago

fmt

Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation

Stars0

Forks0

Last commit