binspector
A binary format analysis tool (by binspector)
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines (by AdaCore)
| binspector | RecordFlux | |
|---|---|---|
| 4 | 2 | |
| 217 | 100 | |
| 0.0% | 0.0% | |
| 1.8 | 9.6 | |
| almost 3 years ago | 1 day ago | |
| C++ | Ada | |
| Boost Software License 1.0 | GNU Affero General Public License v3.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
binspector
Posts with mentions or reviews of binspector.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-02-14.
RecordFlux
Posts with mentions or reviews of RecordFlux.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-25.
- Why isn't there a Swagger/OpenAPI for binary formats?
-
Althttpd: Simple webserver in a single C-code file by the author of SQLite
RecordFlux[0] is a DSL written in Ada for specifying messages in a binary protocol. Code for parsing these messages is then generated automatically with a number of useful properties automatically proven including that no runtime errors will occur.
[0] https://github.com/Componolit/RecordFlux
What are some alternatives?
When comparing binspector and RecordFlux you can also consider the following projects:
kaitai-to-wireshark - Converts a Kaitai Struct file description to a Wireshark LUA plugin
unblob - Extract files from any kind of container formats
darkhttpd - When you need a web server in a hurry.
faq - Format Agnostic jQ -- process various formats with libjq
flsplit - Simple tool to split FL Studio project files by playlist track.
grpc-swagger - Debugging gRPC application with swagger-ui.
spark-by-example - SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
rasn - A Safe #[no_std] ASN.1 Codec Framework
acsl-by-example - Public snapshots of "ACSL by Example"
binspector vs kaitai-to-wireshark
RecordFlux vs kaitai-to-wireshark
binspector vs unblob
RecordFlux vs darkhttpd
binspector vs faq
RecordFlux vs flsplit
binspector vs grpc-swagger
RecordFlux vs grpc-swagger
binspector vs flsplit
RecordFlux vs spark-by-example
binspector vs rasn
RecordFlux vs acsl-by-example