Elsa

Emacs Lisp Static Analyzer and related projects

Pinned Repositories

Elsa
Emacs Lisp Static Analyzer and gradual type system.
Language:Emacs Lisp649 20 18527
flycheck-elsa
Flycheck integration for Elsa---Emacs lisp static analyzer
Language:Emacs Lisp34 5 67
trinary-logic
Language:Emacs Lisp6 4 03

Elsa's Repositories

emacs-elsa/Elsa
Emacs Lisp Static Analyzer and gradual type system.
Language:Emacs Lisp649 20 18527
emacs-elsa/flycheck-elsa
Flycheck integration for Elsa---Emacs lisp static analyzer
Language:Emacs Lisp34 5 67
emacs-elsa/trinary-logic
Language:Emacs Lisp6 4 03