Kraks/diamond-lang
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
Scala
Stargazers
- agarmuPurdue University
- anqurvanillapy@Shopee
- ArberSephirothecaUC Santa Cruz
- bbenzikryTel Aviv
- bracevacWorking on Scala @ EPFL
- brecert
- ChenNingCong
- clayratIMDEA Software
- cpresseyOffice... submarine!
- dan-zhengGoogle
- ElijahLaMoonUkraine
- euppJetBrains Research
- famasoonTokyo, Japn
- felko
- Kensuke-Hinataredocpot
- KraksPurdue University
- linsykingUniversity of Michigan
- markmalsBP3 Global, Inc.
- MesablooFrance
- mirryi
- nikitavoloboevTbilisi
- no-identdLaniakea
- PROgram52bcPurdue University
- ricky136973University of Michigan
- ShangyintUC Berkeley
- SolidShenWest Lafayette
- thelissimusDie Toteninsel
- thwfhkThe University of Edinburgh
- tkersey@thisisartium
- TroublorThe Hong Kong University of Science and Technology
- yihozhangSeattle
- yiyuan-caoPeking University
- ysthakur
- yuxuanchen1997Meta Platforms, Inc. @facebook
- ZhangZhuoSJTUPurdue University
- zhao-huang