Welcome to jonnadal.github.io.
- (draft) ExBackup.dfy: A minimal distributed system simulation that serves as an introduction to the Dafny programming language.
- (draft) minimal-sat.js: A minimal SAT solver.
- daft: Source code for the above blog posts.
- jonnadal.github.io: This site's build script and pages generated from the source.