Software Alternatives, Accelerators & Startups

Lean

Clean up your Live Photos

Lean Alternatives

The best Lean alternatives based on verified products, community votes, reviews and other factors.
Latest update:

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

    Open Source

    /agda-alternatives
  2. An advanced purely-functional programming language

    Open Source

    /haskell-alternatives
  3. Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...

    Open Source

    /coq-alternatives
  4. Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

    /isabelle-alternatives
  5. Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.

    Open Source

    /python-alternatives
  6. Programming, Programming Language, Learning Resources, Languages, and Frontend Development

    Open Source

    /idris-alternatives
  7. Dynamic, functional language designed for building scalable and maintainable applications

    Open Source

    /elixir-alternatives
  8. A safe, concurrent, practical language

    Open Source

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

    Open Source

    /racket-lang-alternatives
  10. Hy is a wonderful dialect of Lisp that’s embedded in Python.

    /hy-alternatives
  11. American Thoracic Society

    /ats-alternatives
  12. (* Binary tree with leaves carrying an integer.

    Open Source

    /ocaml-alternatives
  13. Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler.

    Open Source

    /steel-bank-common-lisp-alternatives
Suggest an alternative
If you think we've missed something, please suggest an alternative to Lean.

Lean discussion

Log in or Post with