Richard Zach (@rzach)
github

rzach

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    270
  • Global Rank 94,306 (Top 4 %)
  • Followers 122
  • Following 50
  • Registered over 11 years ago
  • Most used languages
    TeX
         88.9 %
    Prolog
         5.6 %
    R
         5.6 %
  • Location πŸ‡¨πŸ‡¦ Canada
  • Country Total Rank 2,984
  • Country Ranking
    Prolog
         11
    TeX
         29
    R
         332

Top repositories

1

sets-logic-computation

Textbook on metalogic based on the Open Logic Project
TeX
35
star
2

git4phi

Git for Philosophers
33
star
3

boxes-and-diamonds

Open textbook on modal logic
TeX
19
star
4

incompleteness-computability

Textbook on GΓΆdel's incompleteness theorems and computability theory
TeX
16
star
5

ucalgmthesis

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

multlog

M. Ultlog, the genius many-valued logic expert
Prolog
7
star
7

olpsurveys

Surveys conducted in courses using open logic textbooks
R
7
star
8

lplfitch

LaTeX package for typesetting Fitch-style proofs a la Language, Proof, and Logic text
6
star
9

what-if

Textbook on non-classical logics
TeX
5
star
10

phil279

Beamer slides for Phil 279 (Logic I)
TeX
4
star
11

ptolemaic-astronomy

Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
TeX
4
star
12

intermediate-logic

Textbook for McGill's Phil 310, Intermediate Logic
TeX
4
star
13

latex4phi

LaTeX for Philosophers
TeX
2
star
14

oupmemoir

A LaTeX class for Oxford University Press philosophy books, based on memoir
TeX
2
star
15

ucalgary-poster

A poster style for the University of Calgary for use with tikzposter
TeX
1
star
16

nerlim

An updated Master Bibliography File for use with custom-bib
TeX
1
star
17

keyindex

A LaTeX package that makes name indexes easier
TeX
1
star
18

phil310

OLP setup for a text for McGill's Phil 310, Intermediate Logic
TeX
1
star
19

ucalgary-beamer

TeX
1
star
20

sandbox

A test repo
TeX
1
star