Skip to content
@emacs-elsa

Elsa

Emacs Lisp Static Analyzer and related projects

Pinned Loading

  1. Elsa Public

    Emacs Lisp Static Analyzer and gradual type system.

    Emacs Lisp 660 27

  2. flycheck-elsa Public

    Flycheck integration for Elsa---Emacs lisp static analyzer

    Emacs Lisp 35 7

Repositories

Showing 3 of 3 repositories
  • Elsa Public

    Emacs Lisp Static Analyzer and gradual type system.

    Emacs Lisp 660 GPL-3.0 27 88 (27 issues need help) 4 Updated Mar 16, 2025
  • trinary-logic Public
    Emacs Lisp 7 3 0 0 Updated Mar 1, 2023
  • flycheck-elsa Public

    Flycheck integration for Elsa---Emacs lisp static analyzer

    Emacs Lisp 35 7 2 1 Updated Feb 17, 2023

Top languages

Emacs Lisp