LogicalAtomist / principia Star 209 Code Issues Pull requests The Principia Rewrite latex coq logic latex-packages formal-mathematics coq-ecosystem formal-proofs formal-logic history-of-philosophy Updated Dec 17, 2024 TeX
HussainAther / awesome-philosophy Star 198 Code Issues Pull requests A curated list of awesome philosophy logic philosophy aesthetics awesome-list epistemology ethics philosophy-of-science history-of-philosophy philosophy-of-mind Updated Oct 26, 2019
rafpaf / prove-ethics Star 7 Code Issues Pull requests Checking Spinoza's demonstrations history logic philosophy prover9 history-of-philosophy Updated Feb 9, 2022 Python
ucip / ucip.github.io Star 2 Code Issues Pull requests The github repository for the EMU UCiP website. philosophy ann-arbor michigan philosophy-of-science professional-development philosophy-of-education undergraduate-research history-of-philosophy philosophy-of-mind undergraduate-conferences general-philosophical-topics scholarship-teaching-learning continental-philosophy all-philosophy-welcome disability-studies critical-race-theory political-philosophy undergrad-learning-opportunity eastern-michigan-university ypsilanti Updated Nov 5, 2024 HTML
eyssette / frise-philo Star 1 Code Issues Pull requests Histoire de la philosophie : frises chronologiques timeline philosophy data-visualization d3-visualization philosophers history-of-philosophy Updated May 5, 2024 HTML