Similar to Agda
Go言語でつくるインタプリタ
▼-1 trends最適化プログラミング言語
Optimization Programming LanguageScilab
Scilabシーケンシャル・ファンクション・チャート
Sequential function chartストラクチャード・テキスト
Structured textタイルズ
手続き型プログラミング
Procedural programmingDelphi
Delphi (software)ドリトル (プログラミング言語)
Dolittle (programming language)なでしこ (プログラミング言語)
Perl
Perlひまわり (プログラミング言語)
ファンクション・ブロック・ダイアグラム
Function block diagramプランカルキュール
PlankalkülTemplate:プログラミング言語
プログラミングゼミ
ページ記述言語
Page description languageMicroWorlds
MicroWorldsメモ化
Memoization萌え言語
ラダー・ロジック
Ladder logicRing (プログラミング言語)
Ring (programming language)Ruby
Ruby (programming language)BDS-C
BDS CGforth
GforthGNU Common Lisp
GNU Common LispGnuCOBOL
GnuCOBOLMingw-w64
Mingw-w64