This repository started as a small collection of verified code examples written in the Dafny programming language, but it has since evolved into a space for me to explore a variety of small projects in languages besides Dafny. I try to give each a small writeup to explain the concepts, which makes this something of a blog.

To verify the code without compiling:

make verify

To build hypertext from the source files using Docco:

make docs