Follow @
OH
Mostly written in Python
License: BSD-2-Clause
H
Mostly written in coq
License: apache_2
License: gpl
License: GNU_General_Public_License_v2_0_only
Mostly written in C
License: GNU_General_Public_License_v2_0_only, gpl3_or_later, lgpv3_or_later
Mostly written in Java
License: gpl3
L
License: Unknown
License: eGPL, GNU_Free_Documentation_License, gpl3, lgpl3
Mostly written in VHDL
License: mozilla_public_2_0
Mostly written in C++