Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. 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.