| 
infChecker
 | 
INF
 | 
Raúl Gutiérrez,
Salvador Lucas
 | 
pdf | 
pdf | 
| 
CoLL-Saigawa
 | 
SRS,
TRS
 | 
Kiraku Shintani,
Nao Hirokawa
 | 
pdf | 
pdf | 
| 
Moca
 | 
INF
 | 
Yusuke Oi,
Nao Hirokawa
 | 
pdf | 
pdf | 
| 
CSI
 | 
CPF-TRS,
NFP,
SRS,
TRS,
UNC,
UNR
 | 
Fabian Mitterwallner,
Aart Middeldorp
 | 
pdf | 
pdf | 
| 
FORT-h
 | 
COM,
GCR,
NFP,
UNC,
UNR
 | 
Fabian Mitterwallner,
Aart Middeldorp,
Bertram Felgenhauer
 | 
pdf | 
pdf | 
| 
ConCon
 | 
CPF-CTRS,
CTRS,
INF
 | 
Christian Sternagel
 | 
pdf | 
pdf | 
| 
CO3
 | 
CTRS,
INF
 | 
Naoki Nishida
 | 
pdf | 
pdf | 
| 
CoLL
 | 
COM
 | 
Kiraku Shintani
 | 
pdf | 
pdf | 
| 
nonreach
 | 
INF
 | 
Florian Meßner
 | 
pdf | 
pdf | 
| 
ACP
 | 
COM,
CPF-TRS,
CTRS,
SRS,
TRS,
UNC
 | 
Takahito Aoto
 | 
pdf | 
pdf | 
| 
AGCP
 | 
GCR
 | 
Takahito Aoto
 | 
pdf | 
pdf | 
| 
CSI^ho
 | 
HRS
 | 
Julian Nagele
 | 
pdf | 
pdf | 
| 
CeTA
 | 
CPF-CTRS,
CPF-TRS
 | 
Jonas Schöpf,
Christian Sternagel,
René Thiemann,
Akihisa Yamada
 | 
pdf | 
pdf | 
| 
SOL
 | 
HRS
 | 
Makoto Hamana,
Kentaro Kikuchi,
Faustin Date,
Kazuki Fuju
 | 
pdf | 
pdf |