Idris Reviews and details

Screenshots and images

Landing page //
2021-10-05

Badges

Promote Idris. You can add any of these badges on your website.

<a href='https://www.saashub.com/idris?utm_source=badge&utm_campaign=badge&utm_content=idris&badge_variant=color&badge_kind=approved' target='_blank'><img src="https://cdn-b.saashub.com/img/badges/approved-color.png?v=1" alt="Idris badge" style="max-width: 150px;"/></a>

Show embed code

Videos

FLYING THE IDRIS: REVIEW & FIRST IMPRESSIONS [STAR CITIZEN]

Star Citizen: Idris Overview - This ship is Idris-iculous

Star Citizen: Idris First in Game Look!

Social recommendations and mentions

We have tracked the following product recommendations or mentions on various public social media platforms and blogs. They can help you see what people think about Idris and what they use it for.

What's the current status with packages/libraries on Idris?
So apparently there's a package manager called Inigo, but there are only a few packages in it. There's an idris-hackers group on github, that's linked from the idris-lang.org page. None of those libraries appear in Inigo though. So seems that Inigo isn't really a thing people are using. Source: over 2 years ago

Do you know an article comparing Idris to other products?
Suggest a link to a post with product alternatives.

Suggest an article

Idris discussion

This is an informative page about Idris. You can review and discuss the product here. The primary details have not been verified within the last quarter, and they might be outdated. If you think we are missing something, please use the means on this page to comment or suggest changes. All reviews and comments are highly encouranged and appreciated as they help everyone in the community to make an informed choice. Please always be kind and objective when evaluating a product and sharing your opinion.

Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development