Michael Stone

depict. depict – share mental models better

soutei. a logic-based trust-management system

vscan. a text scanning suite

espresso. A minimalist Swift controller for the DE1PRO v1.1

qemu-m1. qemu with Alexander Graf's 'hvf: Implement Apple Silicon Support' patches applied

klee. A symbolic interpreter for LLVM bitcode

persistent-protobuf. a Template-Haskell routine to ease integration between Persistent and protobufs

atlas. an experimental wiki intended to explore low-latency search, editing, and mapping of the kinds of boundary objects found in complex sociotechnical systems

chutney. Private network testing for Tor

licensor. Haskell

hsnacl. Haskell bindings for nacl

focus. an experiment in collaboration

debnacl. Packaging for http://nacl.cace-project.eu

nixbom. Rust

redo. Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.

embed-mastodon. A Wordpress plugin to prettily embed Mastodon posts

c2rust. Migrate C code to Rust