2 repositories on SrcLog
Emacs Lisp Static Analyzer and gradual type system.
Flycheck integration for Elsa---Emacs lisp static analyzer