A software framework for teaching and studying formal logic. Est. 2015.
A web-based discussion facilitator. Est. 2020.
An open source font for logical notation. Est. 2017.
An online system that automates emailing of confidential letters of recommendation for the academic job market. Est. 2016.
An archive site and online journal with a unique crowd-sourced peer review model. Est. 2016. In development.
A database collecting, analyzing and disseminating information about philosophers' publishing experiences. Est. 2013. Defunct.