PrototypeCommon
np/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
- Owner
- np (personal account)
- Stars
- Stars: 110
- Forks
- Forks: 11
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- mgsloan/storeStars: 110HaskellPrototype
- serras/hincStars: 110HaskellPrototype
- coclique/cleffStars: 110HaskellPrototype
- Soostone/hadronStars: 110HaskellPrototype