Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
be5invis
Fetched on 2025/05/10 16:31
be5invis
/
vscode-idris
Idris for Visual Studio Code -
View it on GitHub
https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
Star
0
Rank
12133151
