Similar to Coq
Boo (プログラミング言語)
Boo (programming language)
Csound
Csound
Erlang
Erlang (programming language)
FreeBASIC
FreeBASIC
GNU Octave
GNU OctaveGo (プログラミング言語)
Go (programming language)Hack (プログラミング言語)
Hack (programming language)
JMax
JOVIAL
JOVIALJq (プログラミング言語)
Uppaal
Uppaal Model CheckerAdvanced Maryland Automatic Network Disk Archiver
Amanda (software)
Apache ActiveMQ
Apache ActiveMQ
Aufs
Aufs
Clonezilla
Clonezilla
Cramfs
Cramfs
CrossOver (ソフトウェア)
CrossOver (software)
ESB Mule
Mule (software)Gallium3D
Gallium3D
Gfarmファイルシステム
Gfarm file systemJaspersoft BI
Lean (証明アシスタント)
Lean (proof assistant)Microsoft Math Solver
Wolfram Alpha
WolframAlpha
暗算カードバトル メキメキモンスターズ
グレコからの挑戦状!計算の城とオバケたち
けいさんゲーム
Keisan Game
スーパーボーイ・アラン
Super Boy Allan