An Emacs mode for writing the concrete syntax of Crucible CFGs - View it on GitHub