Is Idris down?

NO

Current Idris status

Status Up
Up
Alternatives
Info & Reviews

Idris Status Details

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

#Programming Language #OOP #Generic Programming Language
This is an unofficial Idris status page.
Idris's website is at idris-lang.org .
There are no reported issues during the last 24h.
Use the 'Report an Issue' button to report any issues you may have with the service.
Check out our list of Idris alternatives.

Community feedback on Idris's status

Do you have any problems with the service or want to share a tip?

Log in or Post with

Idris Alternatives

When Idris is down, try these alternatives

  1. Agda

    ↔ Idris

    Agda is a dependently typed functional programming language. It has inductive families, i.e.

    Open Source

    /agda-alternatives

  2. Coq

    ↔ Idris

    Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...

    Open Source

    /coq-alternatives

  3. Rust

    ↔ Idris

    A safe, concurrent, practical language

    Open Source

    /rust-alternatives

  4. Lean

    ↔ Idris

    Clean up your Live Photos

    /lean-alternatives

  5. ATS

    ↔ Idris

    American Thoracic Society

    /ats-alternatives

  6. Racket Lang

    ↔ Idris

    Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...

    Open Source

    /racket-lang-alternatives

  7. Isabelle

    ↔ Idris

    Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

    /isabelle-alternatives

» All Idris alternatives

Related status pages

Agda status · Coq status · Rust status · Lean status · ATS status · Racket Lang status · Isabelle status ·

SaaSHub's Down Detector checks the status of services automatically and regularly. However, we cannot promise 100% accuracy. That is why we depend on user reported issues as well. The Idris status here can help you determine if there is a global outage and Idris is down for everyone or if it is just you who is experiencing problems. Please report any issues to help others know the current status.

Loading...