Is Agda down?

NO

Current Agda status

Status Up
Up
Alternatives
Info & Reviews

Agda Status Details

Agda is a dependently typed functional programming language. It has inductive families, i.e.
This is an unofficial Agda status page
Agda's website is at wiki.portal.chalmers.se
Check out our list of Agda alternatives

Community feedback on Agda's status

Log in or Post with

Agda Alternatives

  1. /coq-alternatives

    Coq

    ↔ Agda

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

    Open Source

  2. /isabelle-alternatives

    Isabelle

    ↔ Agda

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

  3. /lean-alternatives

    Lean

    ↔ Agda

    Clean up your Live Photos

  4. /idris-alternatives

    Idris

    ↔ Agda

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

    Open Source

  5. /haskell-alternatives

    Haskell

    ↔ Agda

    An advanced purely-functional programming language

    Open Source

  6. /racket-lang-alternatives

    Racket Lang

    ↔ Agda

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

    Open Source

  7. /ceylon-alternatives

    Ceylon

    ↔ Agda

    Ceylon is a language designed specifically for writing large programs in teams.


» All Agda alternatives

Related status pages

Coq status · Isabelle status · Lean status · Idris status · Haskell status · Racket Lang status · Ceylon 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 Agda status here can help you determine if there is a global outage and Agda 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...