Open source repositories tagged with #type-inference, ranked by health score.
A compiled actor-based programming language with type inference, designed for concurrent systems.
