プログラミング言語
C言語
C++
C#
Haskell
OCaml
ATS2
Coq
Agda
Idris
Isabelle
Isabelle/HOL
Isabelle/HOL-Z
Isabelle/Isar
Lean
Java
JavaScript
Ruby
TypeScript
Lisp
Emacs Lisp
Common Lisp
SBCL
Scheme
Mz Scheme
PowerShell
シェルスクリプト
bash
fish
ksh
csh
zsh
dash
xonsh
バッチファイル
Python
Go
R
Rust
Perl
Raku
(Perl 6)
V言語
Prolog
Erlang
PHP
Hack
VBA
Octave
Erg
Zig
mmlang