Elsa (@emacs-elsa)
Guthub

emacs-elsa

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    682
  • Global Org. Rank 19,742 (Top 7 %)
  • Registered about 6 years ago
  • Most used languages
    Emacs Lisp
         100.0 %

Top repositories

1

Elsa

Emacs Lisp Static Analyzer and gradual type system.
Emacs Lisp
643
star
2

flycheck-elsa

Flycheck integration for Elsa---Emacs lisp static analyzer
Emacs Lisp
33
star
3

trinary-logic

Emacs Lisp
6
star