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