Idris

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

19 Alternatives To Idris

ATS

American Thoracic Society

Clojure

Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.

ClojureScript

A Clojure compiler targeting JavaScript

Elixir

Dynamic, functional language designed for building scalable and maintainable applications

Elm

A type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript

Fay

A proper subset of Haskell that compiles to JavaScript - faylang/fay

Guile

Guile is the GNU Ubiquitous Intelligent Language for Extensions, the official extension language for the GNU operating system.
images/2020/03/haskell.png}}

Haskell

An advanced purely-functional programming language

Mint

Free personal finance software to assist you to manage your money, financial planning, and budget planning tools. Achieve your financial goals with Mint.

NIM

GB64.COM is the home of The Gamebase Collection of C64 games.
images/2020/03/ocaml.png}}

OCaml

(* Binary tree with leaves carrying an integer.

Pony

The antidote for your email overload
images/2020/04/PureScript.png}}

PureScript

PureScript is a small strongly typed programming language that compiles to JavaScript.

Python

Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
images/2020/04/Racket.png}}

Racket

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

ReasonML

ReasonML is a new face to OCaml that–when coupled with BuckleScript–makes web development easy…

Rust

A safe, concurrent, practical language. Rust is blazingly fast and memory-efficient: with no runtime or garbage collector, it can power performance-critical services, run on embedded devices, and easily integrate with other languages.

Swift

Swift is a general-purpose, multi-paradigm, compiled programming language developed by Apple Inc. for iOS, macOS, watchOS, tvOS, Linux and z/OS.