Agda (programming language)W
Agda (programming language)
ATS (programming language)W
ATS (programming language)
C Sharp (programming language)W
C Sharp (programming language)
Ciao (programming language)W
Ciao (programming language)
Clean (programming language)W
Clean (programming language)
ClojureW
Clojure
CMS PipelinesW
CMS Pipelines
CoqW
Coq
Cuneiform (programming language)W
Cuneiform (programming language)
Elm (programming language)W
Elm (programming language)
Erlang (programming language)W
Erlang (programming language)
EuLispW
EuLisp
F Sharp (programming language)W
F Sharp (programming language)
F* (programming language)W
F* (programming language)
HaxeW
Haxe
Hume (programming language)W
Hume (programming language)
Julia (programming language)W
Julia (programming language)
Lisp (programming language)W
Lisp (programming language)
Logo (programming language)W
Logo (programming language)
Maple (software)W
Maple (software)
MatitaW
Matita
MediaWikiW
MediaWiki
Miranda (programming language)W
Miranda (programming language)
NewLISPW
NewLISP
Nim (programming language)W
Nim (programming language)
Opa (programming language)W
Opa (programming language)
Pure (programming language)W
Pure (programming language)
PureScriptW
PureScript
Pure (programming language)W
Pure (programming language)
R (programming language)W
R (programming language)
Racket (programming language)W
Racket (programming language)
Red (programming language)W
Red (programming language)
Rust (programming language)W
Rust (programming language)
Scala (programming language)W
Scala (programming language)
Wolfram LanguageW
Wolfram Language