How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
The main features of componolit/recordflux are: Code Generation.
Projects with overlapping indexed features include: ahmetalpbalkan/go-linq — .NET LINQ capabilities in Go. awalterschulze/goderive — Derives and generates mundane golang functions that you do not want to maintain yourself. blady-com/automate — The generator translates finite-state machines described with specific text scripts to Ada language. clipperhouse/gen — Type-driven code generation for Go. dave/jennifer — Jennifer is a code generator for Go. abice/go-enum — An enum generator for go.
Derives and generates mundane golang functions that you do not want to maintain yourself
The generator translates finite-state machines described with specific text scripts to Ada language.
