Recordflux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Spark By Example | 108 | 5 years ago | Ada | |||||||
| SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada | ||||||||||
| Recordflux | 100 | 16 days ago | 18 | December 05, 2023 | 191 | agpl-3.0 | Ada | |||
| Formal specification and generation of verifiable binary parsers, message generators and protocol state machines | ||||||||||
| Sxml | 11 | 4 years ago | 4 | agpl-3.0 | Ada | |||||
| Formally verified, bounded-stack XML library | ||||||||||
| Gneiss | 10 | 4 years ago | 32 | agpl-3.0 | Ada | |||||
| Framework for platform-independent SPARK components | ||||||||||
| Spark Bitcoin Transaction Example | 5 | 4 years ago | agpl-3.0 | Ada | ||||||
| Example of Bitcoin transaction parsing with Ada/SPARK2014 | ||||||||||
| Ironsides | 5 | 11 years ago | other | Ada | ||||||
| Fork of the SPARK-based DNS server | ||||||||||
Alternatives To RecordfluxSelect To Compare
Alternative Project Comparisons
Popular Spark Projects
Popular Formal Methods Projects
Popular Data Processing Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Spark
Formal Methods