CLIK |
C-Like |
  |
|
JSPT |
JavaScript |
  |
|
PHPX |
PHP |
  |
|
JLIA |
Julia |
  |
|
RAKU |
Raku |
  |
|
MLXX |
ML |
  |
|
FSHP |
F# |
  |
|
FSTA |
F* |
  |
|
HSKL |
Haskell |
  |
|
IDRS |
Idris |
  |
|
ELMX; PURS |
Elm, PureScript |
  |
|
SWFT |
Swift |
  |
|
DFNY |
Dafny |
  |
|
COQX |
Coq |
  |
|
MTLB |
Matlab |
  |
|
VRLG |
Verilog |
  |
|
WFLM |
Wolfram Language (Mathematica) |
  |
|
ERLA |
Erlang Language |
  |
|