Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Earn up to 15% annual interest with Nexo.
Access competitive interest rates on your digital assets.
Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform.
Geographic restrictions, eligibility, and terms apply.
A Dependently Typed Functional Programming Language
...Idris has support for external code generators. Supplied with the distribution is a C codegenerator to compile executables, and a JavaScript codegenerator with support for node.js and browser JavaScript.