RecordFlux Alternatives
Similar projects and alternatives to RecordFlux
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Kaitai Struct
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby
-
FreeRTOS-Kernel
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
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
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
RecordFlux reviews and mentions
- 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
Stats
AdaCore/RecordFlux is an open source project licensed under GNU Affero General Public License v3.0 which is an OSI approved license.
The primary programming language of RecordFlux is Ada.
Popular Comparisons
Sponsored