Stars
Aussie AI Base C++ Library is the source code repo for the book Generative AI in C++, along with various other AI/ML kernels.
TDD Paint-by-Numbers exercise: Name Normalizer
MIT IAP short course: Matrix Calculus for Machine Learning and Beyond
Merlion: A Machine Learning Framework for Time Series Intelligence
Some LaTeX and TikZ stuff in visualizing quaternions
Multiple NVIDIA GPUs or Apple Silicon for Large Language Model Inference?
Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)
LaTeX package for typesetting Fitch-style proofs a la Language, Proof, and Logic text
rzach / modernphilosophy
Forked from dunn/modernphilosophyA Markdown version of the free textbook created by Walter Ott
rzach / edl
Forked from antonyeagle/edlElements of Deductive Logic, an open-source intermediate logic textbook
CMU Undergrad Course
A fork of @aepsilon's Turing Machine Visualizer, adapted for the Open Logic Project
rzach / todonotes
Forked from henrikmidtiby/todonotesThe package lets the user mark things to do later, in a simple and and visually appealing way.
A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)
Textbook for McGill's Phil 310, Intermediate Logic
rzach / cv-zach
Forked from bmschmidt/CV-pandoc-healyCreate 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.
rzach / forallx-yyc
Forked from OpenLogicProject/forallx-camUCalgary version of forallx, an introduction to formal logic
Tim Button's open textbook on set theory
Textbook on Gödel's incompleteness theorems and computability theory
Textbook on metalogic based on the Open Logic Project