Idris
A Dependently Typed Functional Programming Language
Windows · v1.3.3 · idris-lang.org
About Idris
A Dependently Typed Functional Programming Language.
More developer tools for Windows
Visual Studio Code
Lightweight but powerful source code editor
Developer Tools
Notepad++
A free source code editor and Notepad replacement that supports several languages.
Developer Tools
PuTTY
A free implementation of SSH and Telnet, along with an xterm terminal emulator.
Developer Tools
Postman
Complete API development environment.
Developer Tools
Git
A free and open source distributed version control system.
Developer Tools
Python
A programming language that lets you work quickly and integrate systems more effectively.
Developer Tools
1Password CLI
The 1Password command-line tool makes your 1Password account accessible entirely from the command line.
Developer Tools
Ab
Apache HTTP server benchmarking tool ('ab')
Developer Tools
Abc
Command-line tool to interact with appbase.io
Developer Tools