Logic and Mechanized Reasoning

HotCRP conference review software

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

A reference implementation of Alan Turing's 1936 paper, On Computable Numbers

bookdown flavoured GitBook port for LaTeXML

A book about category theory

Scripts for dealing with POPM ID3 frames and Rhythmbox.

An open-source, customizable intermediate logic textbook

Number Theory Game for Metamath

Projeto colaborativo de tradução e adaptação do livro de lógica Forallx

TU Dortmund version of forallx, an introduction to formal logic. Based on UCalgary version of forallx.

A letter grade calculator for PHIL 279 & 379 at University of Calgary.

A modern commutative diagram editor for the web.

biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8

Javascript snippets and widgets for use with Carnap.io

GitHub API multitool

OpenBoard is a cross-platform interactive whiteboard application intended for use in a classroom setting.

Truth Tree Widget for Carnap

Epidemiological Data from the COVID-19 Epidemic in Canada

Create quizzes in QTI format for Canvas from Markdown-based plain text

Composer packages to build TAO product

Book in preparation: introduction to theoretical computer science

class and package for multi-file projects in LaTeX

Syracuse edition of the forall x logic textbook

A UI Widget for Gentzen-style proof layouts

Tim Button's open textbook on set theory

GAPT: General Architecture for Proof Theory

Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa