andrew-johnson-4 / LSTS

Large Scale Type Systems (programming language)
111Updated this week

Related projects

Alternatives and complementary repositories for LSTS