Follow @
OH
Mostly written in C
License: gpl
License: lgpl21_or_later
Mostly written in C++
License: gpl3
License: lgpl
License: gpl3_or_later, lgpl3
Mostly written in Java
P
License: GNU_General_Public_License_v2_0_only
Mostly written in Python
License: gpl3_or_later
Mostly written in VHDL
Mostly written in coq
License: Unknown