tla-ts-mode. TLA+ and PlusCal editing mode for emacs powered by tree-sitter
header-expander. Provide a simple header-expander for C++ classes written with libclang
