tree-edit. 🌲 Structural editing in Emacs for any™ language!
stop-and-wait-arq-proof. An ACL2 proof modelling the stop-and-wait protocol.
courseload-frontend. Clojure
yaelispy. Minor mode to integrate Lispy and Evil
