Idris

Technology, Information and Media • Idris is the best programming language for type-driven development and is used by developers seeking strong type systems.

type-driven development programming language Idris type checker functional programming

Idris

Technology, Information and Media

0 contacts found

Description of Idris

Idris is the best programming language for type-driven development and is used by developers seeking strong type systems.

Details about Idris

Website: idris-lang.org

Location: GBThe United Kingdom

Common keywords for Idris

type-driven development programming language idris type checker functional programming

Technologies used at Idris

apache debian python

idris-lang.org Contact Finder

We found 0 email addresses for this domain.

Total

Personal

Generic

Domain Metrics

Domain Authority:44

Page Authority:45

Spam Score:10

Last updated: 1/28/2025

Rank History

1 Day:

179,961

1 Week:

↓ 496180,457

30 Days:

↓ 1,926181,887

3 Months:

↓ 1,444181,405

Email Distribution

Personal Emails:0

Generic Emails:0

Total Emails:0

Competitors