metaborg/linear.agda
A library and case-study for linear, intrinsically-typed interpreters in Agda
AgdaMIT
Stargazers
- 573Leipzig
- ahmadsalimUniversity of Copenhagen
- ajrouvoet
- anoriqq@ClusterVR
- anton-trunovhttps://tonstudio.io
- beike-zh
- brendanzab@yeslogic
- clayratIMDEA Software
- cpresseyOffice... submarine!
- CYBAITokyo
- cyberglotGlasgow, UK
- dannypsnl@second-state
- felko
- gabriel-fallenKontur
- gallaisGlasgow, Scotland
- i64
- jfdmUniversity of Strathclyde
- L-TChenInstitute of Information Science, Academia Sinica
- MesablooFrance
- mgrabovskyFakta o klimatu
- mietek
- ndcroos
- nikitavoloboevSantander
- omelkonianUniversity of Edinburgh
- rweSeattle, WA
- scott-fleischman
- shhyouTaipei, Taiwan
- smorimoto@ocaml @tc39
- tkersey@thisisartium
- Vtec234Pittsburgh, USA
- wenkokkeScotland
- wolverian@reaktor
- zrafferUkraine