idris-industry/ikan
build tool and package manager for idris,in idris,with free monads
IdrisApache-2.0
Stargazers
- agentofuser@Keykapp
- akilegaspi@evolution-gaming
- anqurvanillapy@Shopee
- ashley-woodardHattiesburg, MS
- Belyenochi@Kesci
- bigosNorth West England
- clayratIMDEA Software
- dannypsnl@second-state
- emilyaherbert@FuelLabs
- ethansrSimon Fraser University
- grielsCapDeColla
- jamietallingbell@Palantir
- kskyten
- kt3k@denoland
- leolangerHarbin Institute of Technology
- luc-tielenLambda Tech
- mkoloberdin
- montyanderson@prodialabs
- nibeonUkraine
- nightscape@xencura
- nikolaipaul
- OlingCatHakurei Shrine
- raingloom:)
- raviqqeOn the Internet
- risavkarnaplaruh UG, nep.work, cosys.work
- srghmaNone
- stjordanisGreece
- tbeddyPICKUP
- timothyklim
- tkersey@thisisartium
- tyghl
- UnderratedDev
- varosiChaos
- yurrriq@sportradar