Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
be5invis
Fetched on 2026/03/14 03:32
be5invis
/
vscode-idris
Idris for Visual Studio Code -
View it on GitHub
https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
Star
0
Rank
13559925
