Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / AdaCore / RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AdaCore%2FRecordFlux
Stars: 101
Forks: 6
Open Issues: 184
License: agpl-3.0
Language: Ada
Repo Size: 27.6 MB
Dependencies:
343
Created: over 6 years ago
Updated: 8 days ago
Last pushed: about 11 hours ago
Last synced: about 7 hours ago
Topics: ada, binary-parser, communication-protocol, formal-methods, formal-specification, formal-verification, parser, protocol-parser, protocol-specification, python, spark
Files
Dependencies
- actions/cache v2 composite
- actions/checkout v2 composite
- ada-actions/toolchain ce2021 composite
- github/codeql-action/analyze v1 composite
- github/codeql-action/autobuild v1 composite
- github/codeql-action/init v1 composite
- RecordFlux-parser *
- attrs *
- icontract *
- pydantic *
- pydotplus *
- ruamel.yaml *
- z3-solver *
- @types/fs-extra ^11.0.1 development
- @types/glob 8.0.0 development
- @types/mocha ^10.0.1 development
- @types/node ^16.11.7 development
- @types/vscode 1.74.0 development
- @types/ws 8.5.4 development
- @typescript-eslint/eslint-plugin ^5.48.2 development
- @typescript-eslint/parser ^5.48.2 development
- @vscode/test-electron 2.2.2 development
- eslint ^8.26.0 development
- glob 8.1.0 development
- mocha ^10.2.0 development
- typescript ^4.9.4 development
- @vscode/vsce ^2.20.1
- fs-extra ^11.1.1
- vscode-languageclient 8.1.0-next.6
- ws 8.12.0