Welcome! The following projects are hosted here:
Logicky (proof tableaux generator)