OpenLogicProject's tracked open-source repos, sorted by stars.
An open-source, customizable intermediate logic textbook
