Found 1 extensions tagged with "idris".
GPT95 1.0.3 for VSCode
GenAI Copilot 0.0.6 for VSCode
Fortran Runner 1.0.6 for VSCode
QAX CodeGen 1.2.3 for VSCode
Arduino Community Edition 0.6.1 for VSCode
VisualVM 0.1.0 for VSCode
GenAIScript 1.24.1 for VSCode
Codemod.com 0.38.26 for VSCode
Released: September 6, 2016
Updated: May 1, 2024
Released: May 18, 2019
Updated: April 15, 2024
Released: June 15, 2023
Updated: April 27, 2024
Released: May 12, 2023
Updated: April 16, 2024
Released: January 7, 2024
Updated: April 10, 2024
Released: April 24, 2024
Updated: April 24, 2024
Released: April 22, 2024
Updated: April 22, 2024
Released: October 8, 2023
Updated: April 25, 2024
Released: February 2, 2024
Updated: February 12, 2024
Released: April 27, 2024