JavaScript
Python
Java
PHP
Rust
Haskell
Typescript
Elixir
Isabelle
Coq
Agda
Racket Lang
Lean Prover
Idris
Ceylon
F#
JavaScriptNo features have been listed yet.
Python - Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Java - A concurrent, class-based, object-oriented, language specifically designed to have as few implementation dependencies as possible
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
PHP - A popular general-purpose scripting language that is especially suited to web development
Racket Lang - Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...