Truth-Table Explorer
Generate the full truth table for AND, OR, XOR, NAND, and NOR gates with two or three inputs. Built for ECE 2700 (Digital Circuits).
Truth-Table ExplorerProjects
Things I build, teach with, and keep runningMy main work lives in tools like Stamina and the Formal Methods Tools catalog, plus the research listed on the Research and CV pages. This page collects my other projects and Javascript toys/demos.
Interactive demos
Chemical Reaction Networks
Gillespie’s stochastic simulation algorithm running on textbook chemical reaction networks — immigration–death, SIR epidemics, predator–prey, and gene expression — with exact trajectories.
Chemical Reaction NetworksState-Space Explorer
Enumerate every reachable state of a reaction network under a molecule cap and watch the state-space explosion grow — linearly, quadratically, then much worse.
State-Space ExplorerTransient Probabilities by Uniformization
Compute the exact transient distribution P(X(t) = n) of an immigration–death chain by uniformization — the same core algorithm used by PRISM and Storm, and by Stamina’s reachability machinery.
Transient Probabilities by UniformizationRare-Event Reachability
Exact probabilities of extinction by a deadline in a growing population — the rare-event reachability problem that motivated Ragtimer, and where a million simulated trajectories would still miss.
Rare-Event ReachabilityGalton Board
Drop balls through a pegboard and watch order emerge from coin flips: the binomial distribution walks toward a bell curve as samples pile up.
Galton BoardThe M/M/1 Queue
The classic single-server queue, solved exactly: steady-state distribution, mean line length, and waiting times.
The M/M/1 QueueGambler's Ruin
Exact bankruptcy probabilities for the classic gambler’s ruin random walk — a CTMC with two absorbing states, and a small sibling of the rare-event computations Ragtimer does.
Gambler's RuinAcademic Projects
Formal Methods Tools Open catalog
The world’s most comprehensive source for information on tools for formal methods. Free and open-source.
Stamina Toolset Active Development
Stamina is a collection of tools for stochastic model checking on large and infinite-state models. Ragtimer 1.0 accepted at ATVA 2026. Canonical repository: stamina.
Personal Projects
MossBiscuits Personal Blog
A personal blog where I write about books and movies, things I make, and whatever else catches my attention this week.
Whisker's GF Recipe Blog
Our goal is to make the resource we wish we had: reasonable recipes, helpful guides, and all the tips and tricks you learn through experience cooking and baking gluten free food.
Hope Community Garden
I participate in the leadership team at Hope Community Garden, a community garden in my neighborhood. I help maintain the garden, plan events, and teach workshops.
Writing
I write novels, short stories, and poetry, and I (soon) publish my work. I also write essays and articles.
Fun Projects & Learning Exercises
Random Excuse Generator
Generate random excuses to escape various social situations. Written to learn Javascript.
Awful Headline Generator
Generate awful headlines for clickbait articles. Written to learn Javascript.
Note-Naming Game
Name the music note that appears. The most obnoxious possible way to learn to play music. Written to learn Javascript.
Executive Functioning Helper
A simple tool to help track progress through a chore routine.