Similar to Mozartプログラミングシステム
Erlang
Erlang (programming language)
Jq (プログラミング言語)
Oz (プログラミング言語)
Oz (programming language)
Amoeba (オペレーティングシステム)
Amoeba (operating system)Go (プログラミング言語)
Go (programming language)
Agda
Agda (programming language)
Clean
Clean (programming language)
Clojure
Clojure
Common Lisp
Common Lisp:format(jpeg):mode_rgb():quality(90)/discogs-images/R-4620483-1370174981-5418.jpeg.jpg)
Dylan
Dylan (programming language)Egison
Elm (プログラミング言語)
Elm (programming language)
F Sharp
F Sharp (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)Frenetic
Frenetic (programming language)Idris (プログラミング言語)
Idris (programming language)ISWIM
ISWIMKent Recursive Calculator
Kent Recursive Calculator
Lazy K
Lean (証明アシスタント)
Lean (proof assistant)
LISP
Lisp (programming language)
Lush (プログラム言語)
Mathematica
Wolfram Mathematica
Miranda
Miranda (programming language)ML (プログラミング言語)
ML (programming language)
OCaml
OCaml
PureScript
PureScript