Popular repositories Loading

1. tree-sitter-alloy tree-sitter-alloy Public

   Tree-sitter grammar for the Alloy 6 specification language

   C 1

2. alloy.nvim alloy.nvim Public

   Alloy 6 language support for Neovim with tree-sitter syntax highlighting

   Tree-sitter Query 1

3. alloy-lsp alloy-lsp Public

   Emacs Lisp

4. org.alloytools.alloy org.alloytools.alloy Public

   Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

   Java

5. alloy-mode alloy-mode Public

   Emacs major mode for the Alloy 6 specification language

   Emacs Lisp

6. alloy-ts-mode alloy-ts-mode Public

   Tree-sitter major mode for Alloy 6 (Emacs 29+)

   Emacs Lisp