msp-strath / TypOS

being an operating system for typechecking processes
121Updated last year

Related projects

Alternatives and complementary repositories for TypOS