Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by rzach
A curated list of projects in awesome lists by rzach .
https://github.com/rzach/sets-logic-computation
Textbook on metalogic based on the Open Logic Project
Last synced: 15 Oct 2024
https://github.com/rzach/incompleteness-computability
Textbook on Gödel's incompleteness theorems and computability theory
Last synced: 15 Oct 2024
https://github.com/rzach/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.
biblatex curriculum-vitae cv google-scholar pandoc yaml
Last synced: 24 Oct 2024
https://github.com/rzach/ucalgmthesis
A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)
latex-template thesis thesis-template
Last synced: 15 Oct 2024
https://github.com/rzach/olpsurveys
Surveys conducted in courses using open logic textbooks
Last synced: 15 Oct 2024
https://github.com/rzach/multlog
M. Ultlog, the genius many-valued logic expert
Last synced: 15 Oct 2024
https://github.com/rzach/lplfitch
LaTeX package for typesetting Fitch-style proofs a la Language, Proof, and Logic text
Last synced: 15 Oct 2024
https://github.com/rzach/ptolemaic-astronomy
Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
Last synced: 15 Oct 2024
https://github.com/rzach/intermediate-logic
Textbook for McGill's Phil 310, Intermediate Logic
Last synced: 15 Oct 2024
https://github.com/rzach/oupmemoir
A LaTeX class for Oxford University Press philosophy books, based on memoir
Last synced: 15 Oct 2024
https://github.com/rzach/ucalgary-poster
A poster style for the University of Calgary for use with tikzposter
Last synced: 15 Oct 2024
https://github.com/rzach/nerlim
An updated Master Bibliography File for use with custom-bib
Last synced: 15 Oct 2024
https://github.com/rzach/keyindex
A LaTeX package that makes name indexes easier
Last synced: 15 Oct 2024
https://github.com/rzach/phil310
OLP setup for a text for McGill's Phil 310, Intermediate Logic
Last synced: 15 Oct 2024
https://github.com/rzach/ncac
MUltlog code to go with paper An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
Last synced: 15 Oct 2024