Academic

• Formal Methods Tools: World’s most comprehensive source for formal methods tools. Free and open-source.
• Stamina Toolset: Tools for stochastic model checking. To Be Released in Fall 2025

Personal

• MossBiscuits: Personal blog about books, movies, and creative projects.
• Whisker’s GF: Gluten free recipe blog with guides and tips.
• Now Noticed: Mindfulness blog with free resources.
• Elemental Epistles: Nuanced conversations about religion. Discloses protected demographic information.

Fun Projects & Learning Exercises

• Random Excuse Generator: Generates random excuses for social situations.
• Awful Headline Generator: Creates clickbait headlines.
• Note-Naming Game: Identify music notes.
• Executive Functioning Helper: Track progress through chore routines.