Jim Fowler

tikzjax. TikZJax is TikZ running under WebAssembly in the browser

web2js. Convert TeX's pascal to javascript

sequences-and-series. Course materials for a Calculus MOOC

m2o2c2. Multivariable calculus course materials

corne-case. 3-D printed case for Corne keyboard without OLEDs

lerminus. The terminus font but with ligatures

dvi2html. Device independent (DVI) file format parsing with node

CatNip. Mac OS X application to detect and block cat-like typing

fbpad-eink. A framebuffer-based terminal emulator targetting eink devices (Kobo)

autocut. Automatically cut off the parts of the video where I'm not speaking

ximera-ios. Interactive textbooks for tablet PCs, starting from LaTeX source files

tikzwolke. tikzwolke is a cloud-based service converting <script> tags with TikZ code into SVG images

phase-plot. Plot complex functions

live-agda. Some tools for making Agda videos with syntax highlighting

data-bootcamp. Some curriculum for a crash course on data science

math5520h. Assigned readings and problem sets for Math 5520H

beaudiomer. Beamer LaTeX package for an \audio command and a Ruby script for converting a .tex presentation into an .mp4 movie

reader2maildir. Fetch posts from Google Reader into a local Maildir, propagating marks

ForgetMeNot. SIMBL plugin for Safari; saves session when Safari quits

nixos-linux-ck. linux-ck packaged for NixOS

linearAlgebra. Linear algebra material with Crichton Ogle

pi-base-mathlib. some Lean 4 code for verifying facts from pi-base using mathlib

math6701. Materials for a course about differential manifolds

live-tex. Tools for the live TeX video

iris-tent-and-bezel. 3D models (from OpenSCAD) for a tent and bezel for an Iris keyboard

diskload. MATLAB, C, and Python code to compute the elastic response to a disk load

pdiff. Compare two PDFs via a text comparison and a visual comparison

math5522h. Complex analysis course materials

512-game. like the game 2048, but small enough that it fits into a boot sector

covector-plotter. visualize 1-forms

ximeraSample. A short sample document demonstrating basic features of Ximera

manifolds-in-lean. TeX

course-descriptions. Descriptions of courses from Ohio State University's math department

mathlib_knot_theory. Trying to add knot theory to the mathlib project

topology-game. Lean

math7851. Characteristic class course readings and problem sets

ford-circles. javascript demo of Ford circles

cauchy.quest. play the Cauchy sequence game on a website

pandoc-to-canvas. a script for uploading files to Canvas

so3hd. Compute an SO(3)-invariant Hausdorff distance

are-you-the-javascript. Run through scenarios for the reality show "Are You The One?"

deep-nes. Predict NES output from its RAM

math5801. curriculum for Math 5801, general topology and knot theory

babel-plugin-goto. Support GOTO in JavaScript

math3345-game. An online game built with lean-make-game for Math 3345H

pondfeet. Design fonts by drawing representative glyphs and let "deep learning" fill in the rest

catalan-numbers. A classroom activity involving Catalan numbers