GitHub repository: Keno/InterfaceSpecs.jl
Primary language: Julia
Created: 2023-05-31T08:47:16Z
Description: Playground for formal specifications of interfaces in Julia