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