Categories Alternatives Stacks Self-Hosted Explore

© 2026 Open-Awesome. Curated for the developer elite.

Terms Privacy About GitHub RSS

resource-embedder | Open Awesome

Home
Ada/SPARK
resource-embedder

resource-embedder

Visit Website GitHub

0 stars0 forks0 contributors

Overview

Advanced Resource Embedder to embed files in binaries by producing C, Ada or Go source files

Quick Stats

Stars0

Forks0

Contributors0

Open Issues0

Last commit

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

Created

Links & Resources

Included in

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

Last commit4 months ago

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