500apps → 500agents
A note to our customers
After years of building 500apps, we made a hard decision — to stop spreading thin across 50 products and go all-in on one platform that does what all of them were trying to do.
500agents is that platform. And we want you with us.
The name refers to several popular topics. Please specify which one you are looking for a guide on: 1. Star Citizen (Capital Ship)
: The official Idris Documentation provides a comprehensive tutorial covering types, functions, and theorem proving. 3. Vainglory (Game Hero)
: It features a Size 10 railgun on the Idris-M variant and massive shields, requiring a coordinated fleet to take down.
: Video tutorials on YouTube cover solo boarding and bridge takeover. 2. Idris Programming Language
If you are looking for a build guide for the hero Idris in the MOBA :
If you are looking to learn the functional programming language with dependent types:
The name refers to several popular topics. Please specify which one you are looking for a guide on: 1. Star Citizen (Capital Ship)
: The official Idris Documentation provides a comprehensive tutorial covering types, functions, and theorem proving. 3. Vainglory (Game Hero) The name refers to several popular topics
: It features a Size 10 railgun on the Idris-M variant and massive shields, requiring a coordinated fleet to take down. The name refers to several popular topics
: Video tutorials on YouTube cover solo boarding and bridge takeover. 2. Idris Programming Language The name refers to several popular topics
If you are looking for a build guide for the hero Idris in the MOBA :
If you are looking to learn the functional programming language with dependent types:
Be first to access the platform. Founding members get a locked-in rate and a direct line to our team during onboarding.