Skip to content

Search software

Home
Compare

Compare software

Compare Idris with alternatives

Idris vs Rocq Prover
Idris vs Haskell
Idris vs Dafny
Idris vs PureScript
Idris vs Isabelle
Idris vs OCaml

AI agents
AI assistants
AI coding
AI design
AI images
AI video
Local AI tools
View all

DNS filtering
Encryption tools
Messaging
Passwords
Privacy tools
Security tools
VPN
View all

Browser tools
Email clients
Network tools
Remote desktop
Social networks
Video meetings
Web browsers
View all

Audio tools
Ebook tools
Emulators
Gaming tools
Media players
Media servers
Video editing
View all

3D and CAD
3D printing
Diagrams
Image editors
Photo libraries
Photo tools
Screen capture
View all

Backup tools
Compression
Downloads
File managers
File sync
File transfer
Torrents
View all

Android stores
Disk tools
IT admin
Monitoring
System utilities
VMs
Window tools
View all

Automation
Business
Learning tools
Maps
Note-taking
Office tools
PDF tools
View all

CLI tools
Code editors
Database tools
Developer tools
Git clients
Web testing
Websites
View all

Explore

Browse
Categories
Platforms
Pricing labels
Alternatives
Compare
Collections
Open source

Wares.gg

Popular
Most viewed
Top downloads
About
Contact
Privacy
Terms
Disclosure

wares.gg links to third-party websites and app stores. It does not host, mirror or redistribute any software. Every link points to the official source when one exists.

wares.ggFind good software.