sturdy-spec Language specification for the Sturdy programming language Sturdy is a imperative statically typed language similar to C, but with more features allowing for functional and OO programming.