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 |
|