rzach

forallx-yyc

UCalgary version of forallx, an introduction to formal logic

sets-logic-computation

Textbook on metalogic based on the Open Logic Project

git4phi

Git for Philosophers

boxes-and-diamonds

Open textbook on modal logic

incompleteness-computability

Textbook on Gödel's incompleteness theorems and computability theory

cv-zach

Create a Healy-style CV in latex without having to tweak latex files. This fork uses biblatex to generate the bibliography and includes links to philpapers and Google Scolar citation counts.

ucalgmthesis

A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)

multlog

M. Ultlog, the genius many-valued logic expert

what-if

Textbook on non-classical logics

intermediate-logic

Textbook for McGill's Phil 310, Intermediate Logic

ptolemaic-astronomy

Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)

latex4phi

LaTeX for Philosophers

oupmemoir

A LaTeX class for Oxford University Press philosophy books, based on memoir

jslectureplanner

A collection of LaTeX packages that facilitate the creation and man­age­ment of uni­ver­sity course ma­te­rial

keyindex

A LaTeX package that makes name indexes easier

logic_and_proof

CMU Undergrad Course

multseq

M. Ultseq, the genius many-valued sequent theorem prover

OpenLogic

An open-source, customizable intermediate logic textbook

phil310

OLP setup for a text for McGill's Phil 310, Intermediate Logic

sandbox

A test repo

turing-machine-viz

A fork of @aepsilon's Turing Machine Visualizer, adapted for the Open Logic Project

ucalgary-beamer

Carnap

A formal logic framework that runs in the browser

Carnap-Manual

User Documentation for the Carnap Framework

forallx-a11y

Testing LaTeXML conversion to HTML for forall x and accessibility issues/solutions

modallogic

Modal Logic Playground

ncac

MUltlog code to go with paper An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

phil-letter-grade-calculator

A letter grade calculator for PHIL 279 & 379

sandbox-fr

todonotes

The package lets the user mark things to do later, in a simple and and visually appealing way.