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. New: Ragtimer 1.0 Released
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.
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.
Note-Naming Game
Name the music note that appears. The most obnoxious possible way to learn to play music. Written to learn Javascript.