Open source repositories tagged with #statically-typed, ranked by health score.
A systems programming language with no hidden behavior.