np / ling

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
107Updated last year

Related projects

Alternatives and complementary repositories for ling