Software Alternatives & Reviews

Hy

Hy is a wonderful dialect of Lisp that’s embedded in Python. subtitle

Hy Alternatives [Page 2]

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

  1. /rust-alternatives

    A safe, concurrent, practical language

    Open Source

  2. 10
    /haskell-alternatives

    An advanced purely-functional programming language

    Open Source

  3. Try for free

    B2B SaaS: Make your app enterprise-ready! Authentication - SAML/OIDC SSO, Directory Sync (SCIM 2.0), Audit Logs, Data Privacy Vault, and more!

    Try for free Open Source free $49.0 / Monthly (Per connection)

  4. 16
    /gnu-common-lisp-alternatives

    GCL is the official Common Lisp for the GNU project.

  5. /julia-alternatives

    Julia is a sophisticated programming language designed especially for numerical computing with specializations in analysis and computational science. It is also efficient for web use, general programming, and can be used as a specification language.

    Open Source

  6. /lean-alternatives

    Clean up your Live Photos

  7. /nu-alternatives

    Nu is an interpreted object-oriented programming language, with a Lisp-like syntax, it was created...

  8. /agda-alternatives

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

    Open Source

  9. /coq-alternatives

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

    Open Source

  10. /isabelle-alternatives

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

  11. /newlisp-alternatives

    newLISP is a general purpose scripting language for developing web applications and programs in general in the domains of artificial intelligence (AI), statistics and machine learning.

  12. 10
    /lispworks-alternatives

    LispWorks is a commercial implementation and IDE for the Common Lisp programming language.

  13. /pyright-alternatives

    Static type checker for Python. Contribute to microsoft/pyright development by creating an account on GitHub.

  14. /elixir-alternatives

    Dynamic, functional language designed for building scalable and maintainable applications

    Open Source

Suggest an alternative
If you think we've missed something, please suggest an alternative to Hy.