GitHub repository: DeterminateSystems/bootspec
Primary language: Rust
Description: Implementation of RFC-0125's datatype and synthesis tooling.