Similar to SATySFi
Frenetic
Frenetic (programming language)
Gleam (プログラミング言語)
Gleam (programming language)Idris (プログラミング言語)
Idris (programming language)ISWIM
ISWIMKent Recursive Calculator
Kent Recursive Calculator
Lazy K
Lean (証明アシスタント)
Lean (proof assistant)
LISP
Lisp (programming language)
Mathematica
Wolfram Mathematica▲2 trends
Miranda
Miranda (programming language)ML (プログラミング言語)
ML (programming language)
Mozartプログラミングシステム
Mozart Programming System
OCaml
OCamlOz (プログラミング言語)
Oz (programming language)
PureScript
PureScriptREBOL
RebolRefal
RefalR言語
R (programming language)
Scheme
Scheme (programming language)▲1 trends
Standard ML
Standard MLXQuery
XQuery
Agda
Agda (programming language)CPL (圏論プログラミング言語)
Scala
Scala (programming language)▲1 trends
Haskell
Haskell▲1 trends
Wikipedia:井戸端/subj/Template:仮リンクに関連する提案
Wikipedia:井戸端/subj/日本語版ウィキペディアの管理体制について
Wikipedia:井戸端/subj/翻訳記事はインスタントな良質記事製造機になるか?