GitHub repository: matias-gonz/abstraktor
Primary language: Rust
Created: 2025-03-25T22:53:38Z
Description: Abstraktor is a tool to assist validation of distributed protocol implementations