GitHub repository: np/ling
Primary language: Haskell
Description: LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming