Formal Methods Tools
Formal Methods Tools aims to be the world’s most comprehensive source for information on tools for formal methods. Free and open-source.
Projects
I keep a lot of plates spinning. Here's a list of them.Here you’ll find a curated selection of my work, including personal endeavors to professional achievements. I maintain a large variety of projects, and each reflects my values and passion for learning, sharing, and creating.
Academic Projects
Stamina Toolset Coming Soon
The Stamina Toolset is a collection of tools designed to assist in stochastic model checking for large and infinite-state models. To Be Released in Fall 2025
Personal Projects
MossBiscuits Personal Blog
MossBiscuits is a personal blog that where I share my thoughts on books and movies I love, things I create, and other topics that interest me.
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.
Elemental Epistles
Elemental Epistles is a nuanced conversation about my journey with religion and spirituality. To employers: this project discloses protected demographic information.
Now Noticed Mindfulness Blog
Now Noticed provides free, creative-commons or open-source resources to help you build a mindful life. I was disappointed with existing resources, so I created my own.
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. Written to learn Javascript.
Executive Functioning Helper
A simple tool to help track progress through a chore routine.